<!DOCTYPE html>
<head>
<meta charset="utf-8" />
<link rel="shortcut icon" href="https://www.ijcai.org/sites/all/themes/creative-responsive-theme/favicon.ico" type="image/vnd.microsoft.icon" />
<meta name="Generator" content="Drupal 7 (http://drupal.org)" />
<meta name="viewport" content="width=device-width" />
<title>Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence | IJCAI</title>
<link type="text/css" rel="stylesheet" href="https://www.ijcai.org/sites/default/files/css/css_xE-rWrJf-fncB6ztZfd2huxqgxu4WO-qwma6Xer30m4.css" media="all" />
<link type="text/css" rel="stylesheet" href="https://www.ijcai.org/sites/default/files/css/css_QFvdUZuRxU8BDGITNP9RHPu44UYXSsn02-YoCVOHqRk.css" media="all" />
<link type="text/css" rel="stylesheet" href="https://www.ijcai.org/sites/default/files/css/css_Mkd9wru-XGNEy3NbAaJTRYf_03tRyYJ14rVf0Qq94Ps.css" media="all" />
<link type="text/css" rel="stylesheet" href="https://www.ijcai.org/sites/default/files/css/css_Qf---RHq4zDSwkHsFHttLlryblQdA3Plj2EYvf8Aa9U.css" media="all" />
<script type="text/javascript" src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
<script type="text/javascript">
<!--//--><![CDATA[//><!--
window.jQuery || document.write("<script src='/sites/all/modules/jquery_update/replace/jquery/1.10/jquery.min.js'>\x3C/script>")
//--><!]]>
</script>
<script type="text/javascript" src="https://www.ijcai.org/sites/default/files/js/js_dWhBODswdXXk1M5Z5nyqNfGljmqwxUwAK9i6D0YSDNs.js"></script>
<script type="text/javascript" src="https://www.ijcai.org/sites/default/files/js/js_f_BpsloZtITWNBq8h8TQNh4SUGlZKD__yTkMLSN2_t8.js"></script>
<script type="text/javascript" src="https://www.ijcai.org/sites/default/files/js/js_dMpMyJh_mrZIhjrgnhJu3QqdxeWM22GMwwYnLo7Z3Nw.js"></script>
<script type="text/javascript">
<!--//--><![CDATA[//><!--
(function(i,s,o,g,r,a,m){i["GoogleAnalyticsObject"]=r;i[r]=i[r]||function(){(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)})(window,document,"script","https://www.google-analytics.com/analytics.js","ga");ga("create", "UA-73916955-1", {"cookieDomain":"auto"});ga("set", "anonymizeIp", true);ga("send", "pageview");
//--><!]]>
</script>
<script type="text/javascript" src="https://www.ijcai.org/sites/default/files/js/js_DnHHuvTlbIsCmMK4pMmLWq_maVx0f3YysGAmvKurnTc.js"></script>
<script type="text/javascript">
<!--//--><![CDATA[//><!--
jQuery.extend(Drupal.settings, {"basePath":"\/","pathPrefix":"","ajaxPageState":{"theme":"creative_responsive_theme","theme_token":"xGtwQMi2S9GJTMfFkzJyF8wLqQlYWG2Xorujy6PVBCg","js":{"0":1,"\/\/ajax.googleapis.com\/ajax\/libs\/jquery\/1.10.2\/jquery.min.js":1,"1":1,"misc\/jquery-extend-3.4.0.js":1,"misc\/jquery.once.js":1,"misc\/drupal.js":1,"sites\/all\/modules\/spamspan\/spamspan.js":1,"sites\/all\/libraries\/bootstrap\/js\/bootstrap.min.js":1,"sites\/all\/modules\/google_analytics\/googleanalytics.js":1,"2":1,"sites\/all\/themes\/creative-responsive-theme\/js\/custom.js":1},"css":{"modules\/system\/system.base.css":1,"modules\/system\/system.menus.css":1,"modules\/system\/system.messages.css":1,"modules\/system\/system.theme.css":1,"modules\/comment\/comment.css":1,"modules\/field\/theme\/field.css":1,"sites\/all\/modules\/ijcai_proceedings\/css\/ijcai_proceedings.css":1,"modules\/node\/node.css":1,"modules\/search\/search.css":1,"modules\/user\/user.css":1,"sites\/all\/modules\/views\/css\/views.css":1,"sites\/all\/modules\/ckeditor\/css\/ckeditor.css":1,"sites\/all\/libraries\/bootstrap\/css\/bootstrap.min.css":1,"sites\/all\/libraries\/bootstrap\/css\/bootstrap-theme.min.css":1,"sites\/all\/modules\/ctools\/css\/ctools.css":1,"sites\/all\/themes\/creative-responsive-theme\/style.css":1,"sites\/all\/themes\/creative-responsive-theme\/media.css":1}},"googleanalytics":{"trackOutbound":1,"trackMailto":1,"trackDownload":1,"trackDownloadExtensions":"7z|aac|arc|arj|asf|asx|avi|bin|csv|doc(x|m)?|dot(x|m)?|exe|flv|gif|gz|gzip|hqx|jar|jpe?g|js|mp(2|3|4|e?g)|mov(ie)?|msi|msp|pdf|phps|png|ppt(x|m)?|pot(x|m)?|pps(x|m)?|ppam|sld(x|m)?|thmx|qtm?|ra(m|r)?|sea|sit|tar|tgz|torrent|txt|wav|wma|wmv|wpd|xls(x|m|b)?|xlt(x|m)|xlam|xml|z|zip"}});
//--><!]]>
</script>
<!--[if lt IE 9]><script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script><![endif]-->
</head>
<body class="html not-front not-logged-in no-sidebars page-proceedings page-proceedings- page-proceedings-2017">
    
<div id="header_wrapper">
  <div id="inner_header_wrapper">

    
    <header id="header" role="banner">
      <div id="logo"><a href="/" title="Home"><img src="https://www.ijcai.org/sites/all/themes/creative-responsive-theme/logo.png"/></a></div>
            <h1 id="site-title">
        <a href="/" title="Home">IJCAI</a>
        <div id="site-description">International Joint Conferences on Artificial Intelligence Organization</div>
      </h1>
      <div class="clear"></div>
    </header>

    <div class="menu_wrapper">
      <nav id="main-menu"  role="navigation">
        <a class="nav-toggle" href="#">Navigation</a>
        <div class="menu-navigation-container">
          <ul class="menu"><li class="first leaf"><a href="/">Home</a></li>
<li class="expanded"><a href="/future_conferences">Conferences</a><ul class="menu"><li class="first leaf"><a href="/future_conferences">Future Conferences</a></li>
<li class="last leaf"><a href="/past_conferences">Past Conferences</a></li>
</ul></li>
<li class="expanded"><a href="/proceedings/2018" title="">Proceedings</a><ul class="menu"><li class="first leaf"><a href="/proceedings/2019" title="">IJCAI 2019 Proceedings</a></li>
<li class="last leaf"><a href="/past_proceedings">Past Proceedings</a></li>
</ul></li>
<li class="collapsed"><a href="/awards">Awards</a></li>
<li class="expanded"><a href="/trustees/current_trustees" title="">Trustees/officers</a><ul class="menu"><li class="first leaf"><a href="/trustees/current_trustees" title="">Current trustees</a></li>
<li class="leaf"><a href="/trustees/trustees_elect" title="">Trustees Elect</a></li>
<li class="leaf"><a href="/officers/ijcai_secretariat" title="">IJCAI Secretariat</a></li>
<li class="leaf"><a href="/officers/sponsorship_publicity" title="">IJCAI Sponsorship and Publicity Officers</a></li>
<li class="leaf"><a href="/officers/ijcai_team" title="">IJCAI Team</a></li>
<li class="leaf"><a href="/officers/local_arrangements_chairs" title="">Local Arrangements Chairs</a></li>
<li class="leaf"><a href="/trustees/former_trustees_serving_on_the_executive_committee" title="">Former Trustees serving on the Executive Committee</a></li>
<li class="last leaf"><a href="/officers/other_former_officers" title="">Other Former Officers</a></li>
</ul></li>
<li class="leaf"><a href="/aijd">AI Journal</a></li>
<li class="last expanded"><a href="/aboutIJCAI">About</a><ul class="menu"><li class="first leaf"><a href="/aboutIJCAI" title="">About IJCAI</a></li>
<li class="last leaf"><a href="/contact">Contact Information</a></li>
</ul></li>
</ul>        </div>
        <div class="clear"></div>
      </nav><!-- end main-menu -->
    </div>
  </div>
</div>
  
  <div id="container">

    
    <div class="content-sidebar-wrap">

    <div id="content">
            <section id="post-content" role="main">
                        <h1 class="page-title">Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence</h1>                                        <div class="region region-content">
  <div id="block-system-main" class="block block-system">

      
  <div class="content">
    
    	    <h2>Melbourne, Australia 19-25 August 2017</h2>
			<div id="filter_wrapper" class="row" style="display:none;">
				<div class="col-md-6 col-md-offset-6">
	    			<div class="">
	      				<input id="filter" type="text" class="form-control" placeholder="Filter titles and authors">
	      			</div>
		  		</div>
		  	</div>
		  	<div id="noresults" style="display:none;">
		  		<br/>
		  		<div class="alert alert-danger" >
		  			No records matching your filter :(
		  		</div>
		  	</div>
		<div class="proceedings"><div class="section" id="section0">        

    	<h3>Edited by Carles Sierra, IIIA-CSIC<h3>
    	<h3><i>Sponsored by </i> <br />
    	International Joint Conferences on Artifical Intelligence (IJCAI) </h3>
    	<h3><i>Published by </i> <br />
    	International Joint Conferences on Artificial Intelligence </h3>

    	<p>Copyright © 2017 International Joint Conferences on Artificial Intelligence <br>
    All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.</p>

    <p><i>IJCAI Secretary-Treasurer:</i> Prof. Dr. Bernhard Nebel, Computer Science Department, Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee, Geb. 052 D-79110 Freiburg, Germany</p>

    <p><i>IJCAI Executive Secretary</i> Ms. Vesna Sabljakovic-Fritz, Vienna University of Technology, Institute of Discrete Mathematics and Geometry, E104 Wiedner Hauptstr. 8-10, A-1040 Vienna, Austria </p>
	
    	<p>
    	<div>ISBN (Online): 978-0-9992411-0-3 </div>
    	</p>

    	<h2>Preface</h2>

    	<p>
    	<div> Donwnload preface <a href="https://www.ijcai.org/proceedings/2017/preface.pdf"> here</a>. </div>
    	</p>
        
        <h2>Content</h2>

</div><div class="section" id="section0"><div class="section_title"><h3>Invited Speakers</h3></div><div class="subsection" id="subsection0"><div id="paper1" class="paper_wrapper"><div class="title">Swift Logic for Big Data and Knowledge Graphs</div><div class="authors">Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger</div><div class="details">(<a href="0001.pdf">PDF</a> | <a href="/proceedings/2017/1">  Details</a>)</div></div><div id="paper2" class="paper_wrapper"><div class="title">Deep Learning at Alibaba</div><div class="authors">Rong Jin</div><div class="details">(<a href="0002.pdf">PDF</a> | <a href="/proceedings/2017/2">  Details</a>)</div></div><div id="paper3" class="paper_wrapper"><div class="title">From Automation to Autonomous Systems: A Legal Phenomenology with Problems of Accountability</div><div class="authors">Ugo Pagallo</div><div class="details">(<a href="0003.pdf">PDF</a> | <a href="/proceedings/2017/3">  Details</a>)</div></div><div id="paper4" class="paper_wrapper"><div class="title">Super-Human AI for Strategic Reasoning: Beating Top Pros in Heads-Up No-Limit Texas Hold'em</div><div class="authors">Tuomas Sandholm</div><div class="details">(<a href="0004.pdf">PDF</a> | <a href="/proceedings/2017/4">  Details</a>)</div></div></div></div><div class="section" id="section1"><div class="section_title"><h3>Main track</h3></div><div class="subsection" id="subsection0"><div class="subsection_title">Agent-based and Multi-agent Systems</div><div id="paper5" class="paper_wrapper"><div class="title">Proactive and Reactive Coordination of Non-dedicated Agent Teams Operating in Uncertain Environments</div><div class="authors">Pritee Agrawal, Pradeep Varakantham</div><div class="details">(<a href="0005.pdf">PDF</a> | <a href="/proceedings/2017/5">  Details</a>)</div></div><div id="paper6" class="paper_wrapper"><div class="title">Diverse Weighted Bipartite b-Matching</div><div class="authors">Faez Ahmed, John P. Dickerson, Mark Fuge</div><div class="details">(<a href="0006.pdf">PDF</a> | <a href="/proceedings/2017/6">  Details</a>)</div></div><div id="paper7" class="paper_wrapper"><div class="title">Pure Nash Equilibria in Online Fair Division</div><div class="authors">Martin Aleksandrov, Toby Walsh</div><div class="details">(<a href="0007.pdf">PDF</a> | <a href="/proceedings/2017/7">  Details</a>)</div></div><div id="paper8" class="paper_wrapper"><div class="title">Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach</div><div class="authors">Gianvincenzo Alfano, Sergio Greco, Francesco Parisi</div><div class="details">(<a href="0008.pdf">PDF</a> | <a href="/proceedings/2017/8">  Details</a>)</div></div><div id="paper9" class="paper_wrapper"><div class="title">Acceptability Semantics for Weighted Argumentation Frameworks</div><div class="authors">Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic</div><div class="details">(<a href="0009.pdf">PDF</a> | <a href="/proceedings/2017/9">  Details</a>)</div></div><div id="paper10" class="paper_wrapper"><div class="title">Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value</div><div class="authors">Leila Amgoud, Jonathan Ben-Naim, Srdjan Vesic</div><div class="details">(<a href="0010.pdf">PDF</a> | <a href="/proceedings/2017/10">  Details</a>)</div></div><div id="paper11" class="paper_wrapper"><div class="title">An Abstraction-Refinement Methodology for Reasoning about Network Games</div><div class="authors">Guy Avni, Shibashis Guha, Orna Kupferman</div><div class="details">(<a href="0011.pdf">PDF</a> | <a href="/proceedings/2017/11">  Details</a>)</div></div><div id="paper12" class="paper_wrapper"><div class="title">Pareto Optimal Allocation under Uncertain Preferences</div><div class="authors">Haris Aziz, Ronald de Haan, Baharak  Rastegari</div><div class="details">(<a href="0012.pdf">PDF</a> | <a href="/proceedings/2017/12">  Details</a>)</div></div><div id="paper13" class="paper_wrapper"><div class="title">The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality</div><div class="authors">Haris Aziz, Edith Elkind, Piotr Faliszewski, Martin Lackner, Piotr Skowron</div><div class="details">(<a href="0013.pdf">PDF</a> | <a href="/proceedings/2017/13">  Details</a>)</div></div><div id="paper14" class="paper_wrapper"><div class="title">Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic</div><div class="authors">Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin</div><div class="details">(<a href="0014.pdf">PDF</a> | <a href="/proceedings/2017/14">  Details</a>)</div></div><div id="paper15" class="paper_wrapper"><div class="title">Parameterised Verification of Data-aware Multi-Agent Systems</div><div class="authors">Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio</div><div class="details">(<a href="0015.pdf">PDF</a> | <a href="/proceedings/2017/15">  Details</a>)</div></div><div id="paper16" class="paper_wrapper"><div class="title">Equilibria in Ordinal Games: A Framework based on Possibility Theory.</div><div class="authors">Nahla Ben Amor, Helene Fargier, Régis Sabbadin</div><div class="details">(<a href="0016.pdf">PDF</a> | <a href="/proceedings/2017/16">  Details</a>)</div></div><div id="paper17" class="paper_wrapper"><div class="title">Aggressive, Tense or Shy? Identifying Personality Traits from Crowd Videos</div><div class="authors">Aniket Bera, Tanmay Randhavane, Dinesh Manocha</div><div class="details">(<a href="0017.pdf">PDF</a> | <a href="/proceedings/2017/17">  Details</a>)</div></div><div id="paper18" class="paper_wrapper"><div class="title">Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces</div><div class="authors">Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken</div><div class="details">(<a href="0018.pdf">PDF</a> | <a href="/proceedings/2017/18">  Details</a>)</div></div><div id="paper19" class="paper_wrapper"><div class="title">Voting by sequential elimination with few voters</div><div class="authors">Sylvain Bouveret, Yann Chevaleyre, François Durand, Jérôme Lang</div><div class="details">(<a href="0019.pdf">PDF</a> | <a href="/proceedings/2017/19">  Details</a>)</div></div><div id="paper20" class="paper_wrapper"><div class="title">Fair Division of a Graph</div><div class="authors">Sylvain Bouveret, Katarína Cechlárová, Edith Elkind, Ayumi Igarashi, Dominik Peters</div><div class="details">(<a href="0020.pdf">PDF</a> | <a href="/proceedings/2017/20">  Details</a>)</div></div><div id="paper21" class="paper_wrapper"><div class="title">Bounding the Inefficiency of Compromise</div><div class="authors">Ioannis Caragiannis, Panagiotis Kanellopoulos, Alexandros A. Voudouris</div><div class="details">(<a href="0021.pdf">PDF</a> | <a href="/proceedings/2017/21">  Details</a>)</div></div><div id="paper22" class="paper_wrapper"><div class="title">Learning a Ground Truth Ranking Using Noisy Approval Votes</div><div class="authors">Ioannis Caragiannis, Evi Micha</div><div class="details">(<a href="0022.pdf">PDF</a> | <a href="/proceedings/2017/22">  Details</a>)</div></div><div id="paper23" class="paper_wrapper"><div class="title">Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy</div><div class="authors">Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang, Subbarao Kambhampati</div><div class="details">(<a href="0023.pdf">PDF</a> | <a href="/proceedings/2017/23">  Details</a>)</div></div><div id="paper24" class="paper_wrapper"><div class="title">Coordinated Versus Decentralized Exploration In Multi-Agent Multi-Armed Bandits</div><div class="authors">Mithun Chakraborty, Kai Yee Phoebe Chua, Sanmay Das, Brendan Juba</div><div class="details">(<a href="0024.pdf">PDF</a> | <a href="/proceedings/2017/24">  Details</a>)</div></div><div id="paper25" class="paper_wrapper"><div class="title">Pessimistic Leader-Follower Equilibria with Multiple Followers</div><div class="authors">Stefano Coniglio, Nicola Gatti, Alberto Marchesi</div><div class="details">(<a href="0025.pdf">PDF</a> | <a href="/proceedings/2017/25">  Details</a>)</div></div><div id="paper26" class="paper_wrapper"><div class="title">No Pizza for You: Value-based Plan Selection in BDI Agents</div><div class="authors">Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum</div><div class="details">(<a href="0026.pdf">PDF</a> | <a href="/proceedings/2017/26">  Details</a>)</div></div><div id="paper27" class="paper_wrapper"><div class="title">Interaction-based ontology alignment repair with expansion and relaxation</div><div class="authors">Jérôme Euzenat</div><div class="details">(<a href="0027.pdf">PDF</a> | <a href="/proceedings/2017/27">  Details</a>)</div></div><div id="paper28" class="paper_wrapper"><div class="title">Multiwinner Rules on Paths From k-Borda to Chamberlin–Courant</div><div class="authors">Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon</div><div class="details">(<a href="0028.pdf">PDF</a> | <a href="/proceedings/2017/28">  Details</a>)</div></div><div id="paper29" class="paper_wrapper"><div class="title">Operation Frames and Clubs in Kidney Exchange</div><div class="authors">Gabriele Farina, John P. Dickerson, Tuomas Sandholm</div><div class="details">(<a href="0029.pdf">PDF</a> | <a href="/proceedings/2017/29">  Details</a>)</div></div><div id="paper30" class="paper_wrapper"><div class="title">A Novel Symbolic Approach to Verifying Epistemic Properties of Programs</div><div class="authors">Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu </div><div class="details">(<a href="0030.pdf">PDF</a> | <a href="/proceedings/2017/30">  Details</a>)</div></div><div id="paper31" class="paper_wrapper"><div class="title">Object Allocation via Swaps along a Social Network</div><div class="authors">Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski</div><div class="details">(<a href="0031.pdf">PDF</a> | <a href="/proceedings/2017/31">  Details</a>)</div></div><div id="paper32" class="paper_wrapper"><div class="title">The Off-Switch Game</div><div class="authors">Dylan Hadfield-Menell, Anca Dragan, Pieter Abbeel, Stuart Russell</div><div class="details">(<a href="0032.pdf">PDF</a> | <a href="/proceedings/2017/32">  Details</a>)</div></div><div id="paper33" class="paper_wrapper"><div class="title">Optimal Posted-Price Mechanism in Microtask Crowdsourcing</div><div class="authors">Zehong Hu, Jie Zhang</div><div class="details">(<a href="0033.pdf">PDF</a> | <a href="/proceedings/2017/33">  Details</a>)</div></div><div id="paper34" class="paper_wrapper"><div class="title">Online Roommate Allocation Problem</div><div class="authors">Guangda Huzhang, Xin Huang, Shengyu Zhang, Xiaohui Bei</div><div class="details">(<a href="0034.pdf">PDF</a> | <a href="/proceedings/2017/34">  Details</a>)</div></div><div id="paper35" class="paper_wrapper"><div class="title">Near-Feasible Stable Matchings with Budget Constraints</div><div class="authors">Yasushi Kawase, Atsushi Iwasaki</div><div class="details">(<a href="0035.pdf">PDF</a> | <a href="/proceedings/2017/35">  Details</a>)</div></div><div id="paper36" class="paper_wrapper"><div class="title">A Bayesian Approach to Argument-Based Reasoning for Attack Estimation</div><div class="authors">Hiroyuki Kido, Keishi Okamoto</div><div class="details">(<a href="0036.pdf">PDF</a> | <a href="/proceedings/2017/36">  Details</a>)</div></div><div id="paper37" class="paper_wrapper"><div class="title">Tosca: Operationalizing Commitments Over Information Protocols</div><div class="authors">Thomas C. King, Akın Günay, Amit K. Chopra, Munindar P. Singh</div><div class="details">(<a href="0037.pdf">PDF</a> | <a href="/proceedings/2017/37">  Details</a>)</div></div><div id="paper38" class="paper_wrapper"><div class="title">Omniscient Debugging for Cognitive Agent Programs</div><div class="authors">Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker</div><div class="details">(<a href="0038.pdf">PDF</a> | <a href="/proceedings/2017/38">  Details</a>)</div></div><div id="paper39" class="paper_wrapper"><div class="title">Convergence and Quality of Iterative Voting Under Non-Scoring Rules</div><div class="authors">Aaron Koolyk, Tyrone Strangway, Omer Lev, Jeffrey S. Rosenschein</div><div class="details">(<a href="0039.pdf">PDF</a> | <a href="/proceedings/2017/39">  Details</a>)</div></div><div id="paper40" class="paper_wrapper"><div class="title">Constraint-Based Symmetry Detection in General Game Playing</div><div class="authors">Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary</div><div class="details">(<a href="0040.pdf">PDF</a> | <a href="/proceedings/2017/40">  Details</a>)</div></div><div id="paper41" class="paper_wrapper"><div class="title">Verifying Fault-tolerance in Parameterised Multi-Agent Systems</div><div class="authors">Panagiotis Kouvaros, Alessio Lomuscio</div><div class="details">(<a href="0041.pdf">PDF</a> | <a href="/proceedings/2017/41">  Details</a>)</div></div><div id="paper42" class="paper_wrapper"><div class="title">Smoothing Method for Approximate Extensive-Form Perfect Equilibrium</div><div class="authors">Christian Kroer, Gabriele Farina, Tuomas Sandholm</div><div class="details">(<a href="0042.pdf">PDF</a> | <a href="/proceedings/2017/42">  Details</a>)</div></div><div id="paper43" class="paper_wrapper"><div class="title">Contest Design with Uncertain Performance and Costly Participation</div><div class="authors">Priel Levy, David Sarne, Igor Rochlin</div><div class="details">(<a href="0043.pdf">PDF</a> | <a href="/proceedings/2017/43">  Details</a>)</div></div><div id="paper44" class="paper_wrapper"><div class="title">Representativeness-aware Aspect Analysis for Brand Monitoring in Social Media</div><div class="authors">Lizi Liao, Xiangnan He, Zhaochun Ren, Liqiang Nie, Huan Xu, Tat-Seng Chua</div><div class="details">(<a href="0044.pdf">PDF</a> | <a href="/proceedings/2017/44">  Details</a>)</div></div><div id="paper45" class="paper_wrapper"><div class="title">Crowd Learning: Improving Online Decision Making Using Crowdsourced Data</div><div class="authors">Yang Liu, Mingyan Liu</div><div class="details">(<a href="0045.pdf">PDF</a> | <a href="/proceedings/2017/45">  Details</a>)</div></div><div id="paper46" class="paper_wrapper"><div class="title">Recognizing Top-Monotonic Preference Profiles in Polynomial Time</div><div class="authors">Krzysztof Magiera, Piotr Faliszewski</div><div class="details">(<a href="0046.pdf">PDF</a> | <a href="/proceedings/2017/46">  Details</a>)</div></div><div id="paper47" class="paper_wrapper"><div class="title">Probability Bounds for Overlapping Coalition Formation</div><div class="authors">Michail Mamakos, Georgios Chalkiadakis</div><div class="details">(<a href="0047.pdf">PDF</a> | <a href="/proceedings/2017/47">  Details</a>)</div></div><div id="paper48" class="paper_wrapper"><div class="title">Computing an Approximately Optimal Agreeable Set of Items</div><div class="authors">Pasin Manurangsi, Warut Suksompong</div><div class="details">(<a href="0048.pdf">PDF</a> | <a href="/proceedings/2017/48">  Details</a>)</div></div><div id="paper49" class="paper_wrapper"><div class="title">Mechanisms for Online Organ Matching</div><div class="authors">Nicholas Mattei, Abdallah Saffidine, Toby Walsh</div><div class="details">(<a href="0049.pdf">PDF</a> | <a href="/proceedings/2017/49">  Details</a>)</div></div><div id="paper50" class="paper_wrapper"><div class="title">Deterministic, Strategyproof, and Fair Cake Cutting</div><div class="authors">Vijay Menon, Kate Larson</div><div class="details">(<a href="0050.pdf">PDF</a> | <a href="/proceedings/2017/50">  Details</a>)</div></div><div id="paper51" class="paper_wrapper"><div class="title">Core Stability in Hedonic Games among Friends and Enemies: Impact of Neutrals</div><div class="authors">Kazunori Ohta, Nathanaël Barrot, Anisse Ismaili, Yuko Sakurai, Makoto Yokoo</div><div class="details">(<a href="0051.pdf">PDF</a> | <a href="/proceedings/2017/51">  Details</a>)</div></div><div id="paper52" class="paper_wrapper"><div class="title">Multiple-Profile Prediction-of-Use Games</div><div class="authors">Andrew Perrault, Craig Boutilier</div><div class="details">(<a href="0052.pdf">PDF</a> | <a href="/proceedings/2017/52">  Details</a>)</div></div><div id="paper53" class="paper_wrapper"><div class="title">Enhancing Sustainability of Complex Epidemiological Models through a Generic Multilevel Agent-based Approach</div><div class="authors">Sébastien Picault, Yu-Lin Huang, Vianney Sicard, Pauline Ezanno</div><div class="details">(<a href="0053.pdf">PDF</a> | <a href="/proceedings/2017/53">  Details</a>)</div></div><div id="paper54" class="paper_wrapper"><div class="title">Don't Bury your Head in Warnings: A Game-Theoretic Approach for Intelligent Allocation of Cyber-security Alerts</div><div class="authors">Aaron Schlenker, Haifeng Xu, Mina Guirguis, Christopher Kiekintveld, Arunesh Sinha, Milind Tambe, Solomon Sonya, Darryl Balderas, Noah Dunstatter</div><div class="details">(<a href="0054.pdf">PDF</a> | <a href="/proceedings/2017/54">  Details</a>)</div></div><div id="paper55" class="paper_wrapper"><div class="title">Posted Pricing sans Discrimination</div><div class="authors">Shreyas Sekar</div><div class="details">(<a href="0055.pdf">PDF</a> | <a href="/proceedings/2017/55">  Details</a>)</div></div><div id="paper56" class="paper_wrapper"><div class="title">Why You Should Charge Your Friends for Borrowing Your Stuff</div><div class="authors">Kijung Shin, Euiwoong Lee, Dhivya Eswaran, Ariel D. Procaccia</div><div class="details">(<a href="0056.pdf">PDF</a> | <a href="/proceedings/2017/56">  Details</a>)</div></div><div id="paper57" class="paper_wrapper"><div class="title">Synchronisation Games on Hypergraphs</div><div class="authors">Sunil Simon, Dominik Wojtczak</div><div class="details">(<a href="0057.pdf">PDF</a> | <a href="/proceedings/2017/57">  Details</a>)</div></div><div id="paper58" class="paper_wrapper"><div class="title">Proportional Rankings</div><div class="authors">Piotr Skowron, Martin Lackner, Markus Brill, Dominik Peters, Edith Elkind</div><div class="details">(<a href="0058.pdf">PDF</a> | <a href="/proceedings/2017/58">  Details</a>)</div></div><div id="paper59" class="paper_wrapper"><div class="title">Attachment Centrality for Weighted Graphs</div><div class="authors">Jadwiga Sosnowska, Oskar Skibski</div><div class="details">(<a href="0059.pdf">PDF</a> | <a href="/proceedings/2017/59">  Details</a>)</div></div><div id="paper60" class="paper_wrapper"><div class="title">Online Optimization of Video-Ad Allocation</div><div class="authors">Hanna Sumita, Yasushi Kawase, Sumio Fujita, Takuro Fukunaga</div><div class="details">(<a href="0060.pdf">PDF</a> | <a href="/proceedings/2017/60">  Details</a>)</div></div><div id="paper61" class="paper_wrapper"><div class="title">On the Power and Limitations of Deception in Multi-Robot Adversarial Patrolling</div><div class="authors">Noga Talmor, Noa Agmon</div><div class="details">(<a href="0061.pdf">PDF</a> | <a href="/proceedings/2017/61">  Details</a>)</div></div><div id="paper62" class="paper_wrapper"><div class="title">Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous</div><div class="authors">Rohit Vaish, Dinesh Garg</div><div class="details">(<a href="0062.pdf">PDF</a> | <a href="/proceedings/2017/62">  Details</a>)</div></div><div id="paper63" class="paper_wrapper"><div class="title">Multi-Agent Planning with Baseline Regret Minimization</div><div class="authors">Feng Wu, Shlomo Zilberstein, Xiaoping Chen</div><div class="details">(<a href="0063.pdf">PDF</a> | <a href="/proceedings/2017/63">  Details</a>)</div></div><div id="paper64" class="paper_wrapper"><div class="title">Score Aggregation via Spectral Method</div><div class="authors">Mingyu Xiao, Yuqing Wang</div><div class="details">(<a href="0064.pdf">PDF</a> | <a href="/proceedings/2017/64">  Details</a>)</div></div><div id="paper65" class="paper_wrapper"><div class="title">Agent Design Consistency Checking via Planning</div><div class="authors">Nitin Yadav, John Thangarajah, Sebastian Sardina</div><div class="details">(<a href="0065.pdf">PDF</a> | <a href="/proceedings/2017/65">  Details</a>)</div></div><div id="paper66" class="paper_wrapper"><div class="title">How to Form  Winning Coalitions in Mixed Human-Computer Settings</div><div class="authors">Yair Zick, Kobi Gal, Yoram Bachrach, Moshe Mash</div><div class="details">(<a href="0066.pdf">PDF</a> | <a href="/proceedings/2017/66">  Details</a>)</div></div></div><div class="subsection" id="subsection1"><div class="subsection_title">Combinatorial & Heuristic Search</div><div id="paper67" class="paper_wrapper"><div class="title">Estimating the size of search trees by sampling with domain knowledge</div><div class="authors">Gleb Belov, Samuel Esler, Dylan Fernando, Pierre Le Bodic, George L. Nemhauser</div><div class="details">(<a href="0067.pdf">PDF</a> | <a href="/proceedings/2017/67">  Details</a>)</div></div><div id="paper68" class="paper_wrapper"><div class="title">An Admissible HTN Planning Heuristic</div><div class="authors">Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo</div><div class="details">(<a href="0068.pdf">PDF</a> | <a href="/proceedings/2017/68">  Details</a>)</div></div><div id="paper69" class="paper_wrapper"><div class="title">Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions</div><div class="authors">Jingwei Chen, Robert C. Holte, Sandra Zilles, Nathan R. Sturtevant</div><div class="details">(<a href="0069.pdf">PDF</a> | <a href="/proceedings/2017/69">  Details</a>)</div></div><div id="paper70" class="paper_wrapper"><div class="title">Compromise-free Pathfinding on a Navigation Mesh</div><div class="authors">Michael Cui, Daniel D. Harabor, Alban Grastien</div><div class="details">(<a href="0070.pdf">PDF</a> | <a href="/proceedings/2017/70">  Details</a>)</div></div><div id="paper71" class="paper_wrapper"><div class="title">A Random Model for Argumentation Framework:  Phase Transitions, Empirical Hardness, and Heuristics</div><div class="authors">Yong Gao</div><div class="details">(<a href="0071.pdf">PDF</a> | <a href="/proceedings/2017/71">  Details</a>)</div></div><div id="paper72" class="paper_wrapper"><div class="title">Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads</div><div class="authors">Carlos Hernandez, Adi Botea, Jorge A. Baier, Vadim Bulitko</div><div class="details">(<a href="0072.pdf">PDF</a> | <a href="/proceedings/2017/72">  Details</a>)</div></div><div id="paper73" class="paper_wrapper"><div class="title">A Reduction based Method for Coloring Very Large Graphs</div><div class="authors">Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su</div><div class="details">(<a href="0073.pdf">PDF</a> | <a href="/proceedings/2017/73">  Details</a>)</div></div><div id="paper74" class="paper_wrapper"><div class="title">The Mixing of Markov Chains on Linear Extensions in Practice</div><div class="authors">Topi Talvitie, Teppo Niinimäki, Mikko Koivisto</div><div class="details">(<a href="0074.pdf">PDF</a> | <a href="/proceedings/2017/74">  Details</a>)</div></div></div><div class="subsection" id="subsection2"><div class="subsection_title">Constraints and Satisfiability</div><div id="paper75" class="paper_wrapper"><div class="title">Generating Hard Random Boolean Formulas and Disjunctive Logic Programs</div><div class="authors">Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski</div><div class="details">(<a href="0075.pdf">PDF</a> | <a href="/proceedings/2017/75">  Details</a>)</div></div><div id="paper76" class="paper_wrapper"><div class="title">Stochastic Constraint Programming with And-Or Branch-and-Bound</div><div class="authors">Behrouz Babaki, Tias Guns, Luc de Raedt</div><div class="details">(<a href="0076.pdf">PDF</a> | <a href="/proceedings/2017/76">  Details</a>)</div></div><div id="paper77" class="paper_wrapper"><div class="title">Scalable Constraint-based Virtual Data Center Allocation</div><div class="authors">Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu</div><div class="details">(<a href="0077.pdf">PDF</a> | <a href="/proceedings/2017/77">  Details</a>)</div></div><div id="paper78" class="paper_wrapper"><div class="title">Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems</div><div class="authors">Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret</div><div class="details">(<a href="0078.pdf">PDF</a> | <a href="/proceedings/2017/78">  Details</a>)</div></div><div id="paper79" class="paper_wrapper"><div class="title">Relaxed Exists-Step Plans in Planning as SMT</div><div class="authors">Miquel Bofill, Joan Espasa, Mateu Villaret</div><div class="details">(<a href="0079.pdf">PDF</a> | <a href="/proceedings/2017/79">  Details</a>)</div></div><div id="paper80" class="paper_wrapper"><div class="title">From Decimation to Local Search and Back: A New Approach to MaxSAT</div><div class="authors">Shaowei Cai, Chuan Luo, Haochen Zhang</div><div class="details">(<a href="0080.pdf">PDF</a> | <a href="/proceedings/2017/80">  Details</a>)</div></div><div id="paper81" class="paper_wrapper"><div class="title">On the Kernelization of Global Constraints</div><div class="authors">Clément Carbonnel, Emmanuel Hebrard</div><div class="details">(<a href="0081.pdf">PDF</a> | <a href="/proceedings/2017/81">  Details</a>)</div></div><div id="paper82" class="paper_wrapper"><div class="title">The DNA Word Design Problem: A New Constraint Model and New Results</div><div class="authors">Michael Codish, Michael Frank, Vitaly Lagoon</div><div class="details">(<a href="0082.pdf">PDF</a> | <a href="/proceedings/2017/82">  Details</a>)</div></div><div id="paper83" class="paper_wrapper"><div class="title">Learning-Based Abstractions for Nonlinear Constraint Solving</div><div class="authors">Sumanth Dathathri, Nikos Arechiga, Sicun Gao, Richard M.  Murray</div><div class="details">(<a href="0083.pdf">PDF</a> | <a href="/proceedings/2017/83">  Details</a>)</div></div><div id="paper84" class="paper_wrapper"><div class="title">The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas</div><div class="authors">Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi</div><div class="details">(<a href="0084.pdf">PDF</a> | <a href="/proceedings/2017/84">  Details</a>)</div></div><div id="paper85" class="paper_wrapper"><div class="title">Solving Integer Linear Programs with a Small Number of Global Variables and Constraints</div><div class="authors">Pavel Dvořák, Eduard Eiben, Robert Ganian, Dušan Knop, Sebastian Ordyniak</div><div class="details">(<a href="0085.pdf">PDF</a> | <a href="/proceedings/2017/85">  Details</a>)</div></div><div id="paper86" class="paper_wrapper"><div class="title">Personnel Scheduling as Satisfiability Modulo Theories</div><div class="authors">Christoph Erkinger, Nysret Musliu</div><div class="details">(<a href="0086.pdf">PDF</a> | <a href="/proceedings/2017/86">  Details</a>)</div></div><div id="paper87" class="paper_wrapper"><div class="title">Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation</div><div class="authors">Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su</div><div class="details">(<a href="0087.pdf">PDF</a> | <a href="/proceedings/2017/87">  Details</a>)</div></div><div id="paper88" class="paper_wrapper"><div class="title">Finding Robust Solutions to Stable Marriage</div><div class="authors">Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin</div><div class="details">(<a href="0088.pdf">PDF</a> | <a href="/proceedings/2017/88">  Details</a>)</div></div><div id="paper89" class="paper_wrapper"><div class="title">Locality in Random SAT Instances</div><div class="authors">Jesús Giráldez-Cru, Jordi Levy</div><div class="details">(<a href="0089.pdf">PDF</a> | <a href="/proceedings/2017/89">  Details</a>)</div></div><div id="paper90" class="paper_wrapper"><div class="title">A Core-Guided Approach to Learning Optimal Causal Graphs</div><div class="authors">Antti Hyttinen, Paul Saikko, Matti Järvisalo</div><div class="details">(<a href="0090.pdf">PDF</a> | <a href="/proceedings/2017/90">  Details</a>)</div></div><div id="paper91" class="paper_wrapper"><div class="title">Cardinality Encodings for Graph Optimization Problems</div><div class="authors">Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva</div><div class="details">(<a href="0091.pdf">PDF</a> | <a href="/proceedings/2017/91">  Details</a>)</div></div><div id="paper92" class="paper_wrapper"><div class="title">Learning to Run Heuristics in Tree Search</div><div class="authors">Elias B. Khalil, Bistra Dilkina, George L. Nemhauser, Shabbir Ahmed, Yufen Shao</div><div class="details">(<a href="0092.pdf">PDF</a> | <a href="/proceedings/2017/92">  Details</a>)</div></div><div id="paper93" class="paper_wrapper"><div class="title">An Improved Decision-DNNF Compiler</div><div class="authors">Jean-Marie Lagniez, Pierre Marquis</div><div class="details">(<a href="0093.pdf">PDF</a> | <a href="/proceedings/2017/93">  Details</a>)</div></div><div id="paper94" class="paper_wrapper"><div class="title">A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem</div><div class="authors">Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail</div><div class="details">(<a href="0094.pdf">PDF</a> | <a href="/proceedings/2017/94">  Details</a>)</div></div><div id="paper95" class="paper_wrapper"><div class="title">Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints</div><div class="authors">Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville</div><div class="details">(<a href="0095.pdf">PDF</a> | <a href="/proceedings/2017/95">  Details</a>)</div></div><div id="paper96" class="paper_wrapper"><div class="title">Solving Stochastic Boolean Satisfiability under Random-Exist Quantification</div><div class="authors">Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang</div><div class="details">(<a href="0096.pdf">PDF</a> | <a href="/proceedings/2017/96">  Details</a>)</div></div><div id="paper97" class="paper_wrapper"><div class="title">Enhancing Campaign Design in Crowdfunding: A Product Supply Optimization Perspective</div><div class="authors">Qi Liu, Guifeng Wang, Hongke Zhao, Chuanren Liu, Tong Xu, Enhong Chen</div><div class="details">(<a href="0097.pdf">PDF</a> | <a href="/proceedings/2017/97">  Details</a>)</div></div><div id="paper98" class="paper_wrapper"><div class="title">An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers</div><div class="authors">Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü</div><div class="details">(<a href="0098.pdf">PDF</a> | <a href="/proceedings/2017/98">  Details</a>)</div></div><div id="paper99" class="paper_wrapper"><div class="title">A Partitioning Algorithm for Maximum Common Subgraph Problems</div><div class="authors">Ciaran McCreesh, Patrick Prosser, James Trimble</div><div class="details">(<a href="0099.pdf">PDF</a> | <a href="/proceedings/2017/99">  Details</a>)</div></div><div id="paper100" class="paper_wrapper"><div class="title">Efficient Weighted Model Integration via SMT-Based Predicate Abstraction</div><div class="authors">Paolo  Morettin, Andrea Passerini, Roberto Sebastiani</div><div class="details">(<a href="0100.pdf">PDF</a> | <a href="/proceedings/2017/100">  Details</a>)</div></div><div id="paper101" class="paper_wrapper"><div class="title">Constraint Games revisited</div><div class="authors">Anthony Palmieri, Arnaud Lallouet</div><div class="details">(<a href="0101.pdf">PDF</a> | <a href="/proceedings/2017/101">  Details</a>)</div></div><div id="paper102" class="paper_wrapper"><div class="title">On Neighborhood Singleton Consistencies</div><div class="authors">Anastasia Paparrizou, Kostas Stergiou</div><div class="details">(<a href="0102.pdf">PDF</a> | <a href="/proceedings/2017/102">  Details</a>)</div></div><div id="paper103" class="paper_wrapper"><div class="title">Temporal Planning with Clock-Based SMT Encodings</div><div class="authors">Jussi Rintanen</div><div class="details">(<a href="0103.pdf">PDF</a> | <a href="/proceedings/2017/103">  Details</a>)</div></div><div id="paper104" class="paper_wrapper"><div class="title">Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming</div><div class="authors">Buser Say, Ga Wu, Yu Qing Zhou, Scott Sanner</div><div class="details">(<a href="0104.pdf">PDF</a> | <a href="/proceedings/2017/104">  Details</a>)</div></div><div id="paper105" class="paper_wrapper"><div class="title">Player Movement Models for Video Game Level Generation</div><div class="authors">Sam Snodgrass, Santiago Ontañón</div><div class="details">(<a href="0105.pdf">PDF</a> | <a href="/proceedings/2017/105">  Details</a>)</div></div></div><div class="subsection" id="subsection3"><div class="subsection_title">Knowledge Representation, Reasoning, and Logic</div><div id="paper106" class="paper_wrapper"><div class="title">On the Computational Complexity of Gossip Protocols</div><div class="authors">Krzysztof R. Apt, Eryk Kopczyński, Dominik Wojtczak</div><div class="details">(<a href="0106.pdf">PDF</a> | <a href="/proceedings/2017/106">  Details</a>)</div></div><div id="paper107" class="paper_wrapper"><div class="title">Epistemic-entrenchment Characterization of Parikh’s Axiom</div><div class="authors">Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams</div><div class="details">(<a href="0107.pdf">PDF</a> | <a href="/proceedings/2017/107">  Details</a>)</div></div><div id="paper108" class="paper_wrapper"><div class="title">Weakening Covert Networks by Minimizing Inverse Geodesic Length</div><div class="authors">Haris Aziz, Serge Gaspers, Kamran Najeebullah</div><div class="details">(<a href="0108.pdf">PDF</a> | <a href="/proceedings/2017/108">  Details</a>)</div></div><div id="paper109" class="paper_wrapper"><div class="title">Query Rewriting for DL-Lite with n-ary Concrete Domains</div><div class="authors">Franz Baader, Stefan Borgwardt, Marcel Lippmann</div><div class="details">(<a href="0109.pdf">PDF</a> | <a href="/proceedings/2017/109">  Details</a>)</div></div><div id="paper110" class="paper_wrapper"><div class="title">Answering Conjunctive Regular Path Queries over Guarded Existential Rules</div><div class="authors">Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michael Thomazo</div><div class="details">(<a href="0110.pdf">PDF</a> | <a href="/proceedings/2017/110">  Details</a>)</div></div><div id="paper111" class="paper_wrapper"><div class="title">A General Notion of Equivalence for Abstract Argumentation</div><div class="authors">Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran</div><div class="details">(<a href="0111.pdf">PDF</a> | <a href="/proceedings/2017/111">  Details</a>)</div></div><div id="paper112" class="paper_wrapper"><div class="title">A Study of Unrestricted Abstract Argumentation Frameworks</div><div class="authors">Ringo Baumann, Christof Spanring</div><div class="details">(<a href="0112.pdf">PDF</a> | <a href="/proceedings/2017/112">  Details</a>)</div></div><div id="paper113" class="paper_wrapper"><div class="title">A Model for Accountable Ordinal Sorting</div><div class="authors">Khaled  Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane</div><div class="details">(<a href="0113.pdf">PDF</a> | <a href="/proceedings/2017/113">  Details</a>)</div></div><div id="paper114" class="paper_wrapper"><div class="title">Dynamic Logic for Data-aware Systems: Decidability Results</div><div class="authors">Francesco Belardinelli, Andreas Herzig</div><div class="details">(<a href="0114.pdf">PDF</a> | <a href="/proceedings/2017/114">  Details</a>)</div></div><div id="paper115" class="paper_wrapper"><div class="title">Reasoning about Probabilities in Unbounded First-Order Dynamical Domains</div><div class="authors">Vaishak Belle, Gerhard Lakemeyer</div><div class="details">(<a href="0115.pdf">PDF</a> | <a href="/proceedings/2017/115">  Details</a>)</div></div><div id="paper116" class="paper_wrapper"><div class="title">Reformulating Queries: Theory and Practice</div><div class="authors">Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura</div><div class="details">(<a href="0116.pdf">PDF</a> | <a href="/proceedings/2017/116">  Details</a>)</div></div><div id="paper117" class="paper_wrapper"><div class="title">Ontology-Mediated Query Answering for Key-Value Stores</div><div class="authors">Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana</div><div class="details">(<a href="0117.pdf">PDF</a> | <a href="/proceedings/2017/117">  Details</a>)</div></div><div id="paper118" class="paper_wrapper"><div class="title">The Impact of Treewidth on ASP Grounding and Solving</div><div class="authors">Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran</div><div class="details">(<a href="0118.pdf">PDF</a> | <a href="/proceedings/2017/118">  Details</a>)</div></div><div id="paper119" class="paper_wrapper"><div class="title">Safe Inductions: An Algebraic Study</div><div class="authors">Bart Bogaerts, Joost Vennekens, Marc Denecker</div><div class="details">(<a href="0119.pdf">PDF</a> | <a href="/proceedings/2017/119">  Details</a>)</div></div><div id="paper120" class="paper_wrapper"><div class="title">Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory</div><div class="authors">Bart Bogaerts, Luís Cruz-Filipe</div><div class="details">(<a href="0120.pdf">PDF</a> | <a href="/proceedings/2017/120">  Details</a>)</div></div><div id="paper121" class="paper_wrapper"><div class="title">Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints</div><div class="authors">Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin</div><div class="details">(<a href="0121.pdf">PDF</a> | <a href="/proceedings/2017/121">  Details</a>)</div></div><div id="paper122" class="paper_wrapper"><div class="title">Making Cross Products and Guarded Ontology Languages Compatible</div><div class="authors">Pierre Bourhis, Michael Morak, Andreas Pieris</div><div class="details">(<a href="0122.pdf">PDF</a> | <a href="/proceedings/2017/122">  Details</a>)</div></div><div id="paper123" class="paper_wrapper"><div class="title">On Coalitional Manipulation for Multiwinner Elections: Shortlisting</div><div class="authors">Robert Bredereck, Andrzej Kaczmarczyk, Rolf Niedermeier</div><div class="details">(<a href="0123.pdf">PDF</a> | <a href="/proceedings/2017/123">  Details</a>)</div></div><div id="paper124" class="paper_wrapper"><div class="title">Manipulating Opinion Diffusion in Social Networks</div><div class="authors">Robert Bredereck, Edith Elkind</div><div class="details">(<a href="0124.pdf">PDF</a> | <a href="/proceedings/2017/124">  Details</a>)</div></div><div id="paper125" class="paper_wrapper"><div class="title">Strong Inconsistency in Nonmonotonic Reasoning</div><div class="authors">Gerhard Brewka, Matthias Thimm, Markus Ulbricht</div><div class="details">(<a href="0125.pdf">PDF</a> | <a href="/proceedings/2017/125">  Details</a>)</div></div><div id="paper126" class="paper_wrapper"><div class="title">Classical Generalized Probabilistic Satisfiability</div><div class="authors">Carlos Caleiro, Filipe Casal, Andreia Mordido</div><div class="details">(<a href="0126.pdf">PDF</a> | <a href="/proceedings/2017/126">  Details</a>)</div></div><div id="paper127" class="paper_wrapper"><div class="title">Budget-Constrained Dynamics in Multiagent Systems</div><div class="authors">Rui Cao, Pavel Naumov</div><div class="details">(<a href="0127.pdf">PDF</a> | <a href="/proceedings/2017/127">  Details</a>)</div></div><div id="paper128" class="paper_wrapper"><div class="title">Restricted Chase (Non)Termination for Existential Rules with Disjunctions</div><div class="authors">David Carral, Irina Dragoste, Markus Krötzsch</div><div class="details">(<a href="0128.pdf">PDF</a> | <a href="/proceedings/2017/128">  Details</a>)</div></div><div id="paper129" class="paper_wrapper"><div class="title">Belief Change in a Preferential Non-monotonic Framework</div><div class="authors">Giovanni Casini, Thomas Meyer</div><div class="details">(<a href="0129.pdf">PDF</a> | <a href="/proceedings/2017/129">  Details</a>)</div></div><div id="paper130" class="paper_wrapper"><div class="title">An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games</div><div class="authors">Jiri Cermak, Branislav Bošanský, Viliam Lisý</div><div class="details">(<a href="0130.pdf">PDF</a> | <a href="/proceedings/2017/130">  Details</a>)</div></div><div id="paper131" class="paper_wrapper"><div class="title">Query Answering in Ontologies under Preference Rankings</div><div class="authors">İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska</div><div class="details">(<a href="0131.pdf">PDF</a> | <a href="/proceedings/2017/131">  Details</a>)</div></div><div id="paper132" class="paper_wrapper"><div class="title">Most Probable Explanations for Probabilistic Database Queries</div><div class="authors">İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz</div><div class="details">(<a href="0132.pdf">PDF</a> | <a href="/proceedings/2017/132">  Details</a>)</div></div><div id="paper133" class="paper_wrapper"><div class="title">Learning from Ontology Streams with Semantic Concept Drift</div><div class="authors">Jiaoyan Chen, Freddy Lecue, Jeff Z. Pan, Huajun Chen</div><div class="details">(<a href="0133.pdf">PDF</a> | <a href="/proceedings/2017/133">  Details</a>)</div></div><div id="paper134" class="paper_wrapper"><div class="title">Discriminative Dictionary Learning With Ranking Metric Embedded for Person Re-Identification</div><div class="authors">De Cheng, Xiaojun Chang, Li Liu, Alexander G. Hauptmann, Yihong  Gong, Nanning Zheng</div><div class="details">(<a href="0134.pdf">PDF</a> | <a href="/proceedings/2017/134">  Details</a>)</div></div><div id="paper135" class="paper_wrapper"><div class="title">Handling non-local dead-ends in Agent Planning Programs</div><div class="authors">Lukas Chrpa, Nir Lipovetzky, Sebastian Sardina</div><div class="details">(<a href="0135.pdf">PDF</a> | <a href="/proceedings/2017/135">  Details</a>)</div></div><div id="paper136" class="paper_wrapper"><div class="title">Inferring Implicit Event Locations from Context with Distributional Similarities</div><div class="authors">Jin-Woo Chung, Wonsuk Yang, Jinseon You, Jong C. Park</div><div class="details">(<a href="0136.pdf">PDF</a> | <a href="/proceedings/2017/136">  Details</a>)</div></div><div id="paper137" class="paper_wrapper"><div class="title">Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions</div><div class="authors">Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau</div><div class="details">(<a href="0137.pdf">PDF</a> | <a href="/proceedings/2017/137">  Details</a>)</div></div><div id="paper138" class="paper_wrapper"><div class="title">On Querying Incomplete Information in Databases under Bag Semantics</div><div class="authors">Marco Console, Paolo Guagliardo, Leonid Libkin</div><div class="details">(<a href="0138.pdf">PDF</a> | <a href="/proceedings/2017/138">  Details</a>)</div></div><div id="paper139" class="paper_wrapper"><div class="title">Streaming Multi-Context Systems</div><div class="authors">Minh Dao-Tran, Thomas Eiter</div><div class="details">(<a href="0139.pdf">PDF</a> | <a href="/proceedings/2017/139">  Details</a>)</div></div><div id="paper140" class="paper_wrapper"><div class="title">Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints</div><div class="authors">Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco</div><div class="details">(<a href="0140.pdf">PDF</a> | <a href="/proceedings/2017/140">  Details</a>)</div></div><div id="paper141" class="paper_wrapper"><div class="title">Lazy-Grounding for Answer Set Programs with External Source Access</div><div class="authors">Thomas Eiter, Tobias Kaminski, Antonius Weinzierl</div><div class="details">(<a href="0141.pdf">PDF</a> | <a href="/proceedings/2017/141">  Details</a>)</div></div><div id="paper142" class="paper_wrapper"><div class="title">Process Plan Controllers for Non-Deterministic Manufacturing Systems</div><div class="authors">Paolo Felli, Lavindra de Silva, Brian Logan, Svetan Ratchev</div><div class="details">(<a href="0142.pdf">PDF</a> | <a href="/proceedings/2017/142">  Details</a>)</div></div><div id="paper143" class="paper_wrapper"><div class="title">Strategically knowing how</div><div class="authors">Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang</div><div class="details">(<a href="0143.pdf">PDF</a> | <a href="/proceedings/2017/143">  Details</a>)</div></div><div id="paper144" class="paper_wrapper"><div class="title">What Can You Do with a Rock? Affordance Extraction via Word Embeddings</div><div class="authors">Nancy Fulda, Daniel Ricks, Ben Murdoch, David Wingate</div><div class="details">(<a href="0144.pdf">PDF</a> | <a href="/proceedings/2017/144">  Details</a>)</div></div><div id="paper145" class="paper_wrapper"><div class="title">The Tractability of the Shapley Value over Bounded Treewidth Matching Games</div><div class="authors">Gianluigi Greco, Francesco Lupia, Francesco Scarcello</div><div class="details">(<a href="0145.pdf">PDF</a> | <a href="/proceedings/2017/145">  Details</a>)</div></div><div id="paper146" class="paper_wrapper"><div class="title">Non-Determinism and the Dynamics of Knowledge</div><div class="authors">Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes</div><div class="details">(<a href="0146.pdf">PDF</a> | <a href="/proceedings/2017/146">  Details</a>)</div></div><div id="paper147" class="paper_wrapper"><div class="title">Relatedness-based Multi-Entity Summarization</div><div class="authors">Kalpa Gunaratna, Amir Hossein Yazdavar, Krishnaprasad Thirunarayan, Amit Sheth, Gong Cheng</div><div class="details">(<a href="0147.pdf">PDF</a> | <a href="/proceedings/2017/147">  Details</a>)</div></div><div id="paper148" class="paper_wrapper"><div class="title">Nash Equilibria in Concurrent Games with Lexicographic Preferences</div><div class="authors">Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael Wooldridge</div><div class="details">(<a href="0148.pdf">PDF</a> | <a href="/proceedings/2017/148">  Details</a>)</div></div><div id="paper149" class="paper_wrapper"><div class="title">Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage</div><div class="authors">Víctor Gutiérrez-Basulto, Jean Christoph Jung</div><div class="details">(<a href="0149.pdf">PDF</a> | <a href="/proceedings/2017/149">  Details</a>)</div></div><div id="paper150" class="paper_wrapper"><div class="title">Characterising the Manipulability of Boolean Games</div><div class="authors">Paul Harrenstein, Paolo Turrini, Michael Wooldridge</div><div class="details">(<a href="0150.pdf">PDF</a> | <a href="/proceedings/2017/150">  Details</a>)</div></div><div id="paper151" class="paper_wrapper"><div class="title">Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.</div><div class="authors">Jesse Heyninck, Christian Straßer</div><div class="details">(<a href="0151.pdf">PDF</a> | <a href="/proceedings/2017/151">  Details</a>)</div></div><div id="paper152" class="paper_wrapper"><div class="title">A General Multi-agent Epistemic Planner Based on Higher-order Belief Change</div><div class="authors">Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu</div><div class="details">(<a href="0152.pdf">PDF</a> | <a href="/proceedings/2017/152">  Details</a>)</div></div><div id="paper153" class="paper_wrapper"><div class="title">ATL Strategic Reasoning Meets Correlated Equilibrium</div><div class="authors">Xiaowei Huang, Ji Ruan</div><div class="details">(<a href="0153.pdf">PDF</a> | <a href="/proceedings/2017/153">  Details</a>)</div></div><div id="paper154" class="paper_wrapper"><div class="title">Belief Manipulation Through Propositional Announcements</div><div class="authors">Aaron Hunter, François Schwarzentruber, Eric Tsang</div><div class="details">(<a href="0154.pdf">PDF</a> | <a href="/proceedings/2017/154">  Details</a>)</div></div><div id="paper155" class="paper_wrapper"><div class="title">Query Conservative Extensions in Horn Description Logics with Inverse Roles</div><div class="authors">Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider</div><div class="details">(<a href="0155.pdf">PDF</a> | <a href="/proceedings/2017/155">  Details</a>)</div></div><div id="paper156" class="paper_wrapper"><div class="title">Foundations of Declarative Data Analysis Using Limit Datalog Programs</div><div class="authors">Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks</div><div class="details">(<a href="0156.pdf">PDF</a> | <a href="/proceedings/2017/156">  Details</a>)</div></div><div id="paper157" class="paper_wrapper"><div class="title">Strong Syntax Splitting for Iterated Belief Revision</div><div class="authors">Gabriele Kern-Isberner, Gerhard Brewka</div><div class="details">(<a href="0157.pdf">PDF</a> | <a href="/proceedings/2017/157">  Details</a>)</div></div><div id="paper158" class="paper_wrapper"><div class="title">Model Checking Multi-Agent Systems against LDLK Specifications</div><div class="authors">Jeremy Kong, Alessio Lomuscio</div><div class="details">(<a href="0158.pdf">PDF</a> | <a href="/proceedings/2017/158">  Details</a>)</div></div><div id="paper159" class="paper_wrapper"><div class="title">On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks</div><div class="authors">Markus Kröll, Reinhard Pichler, Stefan Woltran</div><div class="details">(<a href="0159.pdf">PDF</a> | <a href="/proceedings/2017/159">  Details</a>)</div></div><div id="paper160" class="paper_wrapper"><div class="title">Induction of Interpretable Possibilistic Logic Theories from Relational Data</div><div class="authors">Ondrej Kuzelka, Jesse Davis, Steven Schockaert</div><div class="details">(<a href="0160.pdf">PDF</a> | <a href="/proceedings/2017/160">  Details</a>)</div></div><div id="paper161" class="paper_wrapper"><div class="title">Mapping Repair in Ontology-based Data Access Evolving Systems</div><div class="authors">Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen</div><div class="details">(<a href="0161.pdf">PDF</a> | <a href="/proceedings/2017/161">  Details</a>)</div></div><div id="paper162" class="paper_wrapper"><div class="title">Temporalising Separation Logic for Planning with Search Control Knowledge</div><div class="authors">Xu Lu, Cong Tian, Zhenhua Duan</div><div class="details">(<a href="0162.pdf">PDF</a> | <a href="/proceedings/2017/162">  Details</a>)</div></div><div id="paper163" class="paper_wrapper"><div class="title">A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations</div><div class="authors">Kangqi Luo, Xusheng Luo, Xianyang Chen, Kenny Q. Zhu</div><div class="details">(<a href="0163.pdf">PDF</a> | <a href="/proceedings/2017/163">  Details</a>)</div></div><div id="paper164" class="paper_wrapper"><div class="title">Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability</div><div class="authors">Carsten Lutz, Leif Sabellek</div><div class="details">(<a href="0164.pdf">PDF</a> | <a href="/proceedings/2017/164">  Details</a>)</div></div><div id="paper165" class="paper_wrapper"><div class="title">Logic on MARS: Ontologies for Generalised Property Graphs</div><div class="authors">Maximilian Marx, Markus Krötzsch, Veronika Thost</div><div class="details">(<a href="0165.pdf">PDF</a> | <a href="/proceedings/2017/165">  Details</a>)</div></div><div id="paper166" class="paper_wrapper"><div class="title">Context-aware Path Ranking for Knowledge Base Completion</div><div class="authors">Sahisnu Mazumder, Bing Liu</div><div class="details">(<a href="0166.pdf">PDF</a> | <a href="/proceedings/2017/166">  Details</a>)</div></div><div id="paper167" class="paper_wrapper"><div class="title">Contract Design for Energy Demand Response</div><div class="authors">Reshef Meir, Hongyao Ma, Valentin Robu</div><div class="details">(<a href="0167.pdf">PDF</a> | <a href="/proceedings/2017/167">  Details</a>)</div></div><div id="paper168" class="paper_wrapper"><div class="title">Dominance and Optimisation Based on Scale-Invariant Maximum Margin Preference Learning</div><div class="authors">Mojtaba Montazery, Nic Wilson</div><div class="details">(<a href="0168.pdf">PDF</a> | <a href="/proceedings/2017/168">  Details</a>)</div></div><div id="paper169" class="paper_wrapper"><div class="title">Generalized Target Assignment and Path Finding Using Answer Set Programming</div><div class="authors">Van  Nguyen, Philipp   Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh</div><div class="details">(<a href="0169.pdf">PDF</a> | <a href="/proceedings/2017/169">  Details</a>)</div></div><div id="paper170" class="paper_wrapper"><div class="title">The Bag Semantics of Ontology-Based Data Access</div><div class="authors">Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks</div><div class="details">(<a href="0170.pdf">PDF</a> | <a href="/proceedings/2017/170">  Details</a>)</div></div><div id="paper171" class="paper_wrapper"><div class="title">Efficient and Complete FD-solving for extended array constraints</div><div class="authors">Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb</div><div class="details">(<a href="0171.pdf">PDF</a> | <a href="/proceedings/2017/171">  Details</a>)</div></div><div id="paper172" class="paper_wrapper"><div class="title">Conflict-driven ASP Solving with External Sources and Program Splits</div><div class="authors">Christoph Redl</div><div class="details">(<a href="0172.pdf">PDF</a> | <a href="/proceedings/2017/172">  Details</a>)</div></div><div id="paper173" class="paper_wrapper"><div class="title">A Reasoning System for a First-Order Logic of Limited Belief</div><div class="authors">Christoph Schwering</div><div class="details">(<a href="0173.pdf">PDF</a> | <a href="/proceedings/2017/173">  Details</a>)</div></div><div id="paper174" class="paper_wrapper"><div class="title">Fair Allocation based on Diminishing Differences</div><div class="authors">Erel Segal-Halevi, Haris Aziz, Avinatan Hassidim</div><div class="details">(<a href="0174.pdf">PDF</a> | <a href="/proceedings/2017/174">  Details</a>)</div></div><div id="paper175" class="paper_wrapper"><div class="title">Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction</div><div class="authors">Michael Sioutis, Jean-François Condotta</div><div class="details">(<a href="0175.pdf">PDF</a> | <a href="/proceedings/2017/175">  Details</a>)</div></div><div id="paper176" class="paper_wrapper"><div class="title">On Computing World Views of Epistemic Logic Programs</div><div class="authors">Tran Cao Son, Tiep Le, Patrick Kahl, Anthony Leclerc</div><div class="details">(<a href="0176.pdf">PDF</a> | <a href="/proceedings/2017/176">  Details</a>)</div></div><div id="paper177" class="paper_wrapper"><div class="title">GDL-III: A Description Language for Epistemic General Game Playing</div><div class="authors">Michael Thielscher</div><div class="details">(<a href="0177.pdf">PDF</a> | <a href="/proceedings/2017/177">  Details</a>)</div></div><div id="paper178" class="paper_wrapper"><div class="title">How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval</div><div class="authors">Rodrigo Toro Icarte, Jorge A. Baier, Cristian Ruz, Alvaro Soto</div><div class="details">(<a href="0178.pdf">PDF</a> | <a href="/proceedings/2017/178">  Details</a>)</div></div><div id="paper179" class="paper_wrapper"><div class="title">Explicit Knowledge-based Reasoning for Visual Question Answering</div><div class="authors">Peng Wang, Qi Wu, Chunhua Shen, Anthony Dick, Anton van den Hengel</div><div class="details">(<a href="0179.pdf">PDF</a> | <a href="/proceedings/2017/179">  Details</a>)</div></div><div id="paper180" class="paper_wrapper"><div class="title">Inferring Human Attention by Learning Latent Intentions</div><div class="authors">Ping Wei, Dan Xie, Nanning Zheng, Song-Chun Zhu</div><div class="details">(<a href="0180.pdf">PDF</a> | <a href="/proceedings/2017/180">  Details</a>)</div></div><div id="paper181" class="paper_wrapper"><div class="title">A Characterization Theorem for a Modal Description Logic</div><div class="authors">Paul Wild, Lutz Schröder</div><div class="details">(<a href="0181.pdf">PDF</a> | <a href="/proceedings/2017/181">  Details</a>)</div></div><div id="paper182" class="paper_wrapper"><div class="title">Efficient  Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models</div><div class="authors">Nic Wilson, Anne-Marie George</div><div class="details">(<a href="0182.pdf">PDF</a> | <a href="/proceedings/2017/182">  Details</a>)</div></div><div id="paper183" class="paper_wrapper"><div class="title">Knowledge Graph Representation with Jointly Structural and Textual Encoding</div><div class="authors">Jiacheng Xu, Xipeng Qiu, Kan Chen, Xuanjing Huang</div><div class="details">(<a href="0183.pdf">PDF</a> | <a href="/proceedings/2017/183">  Details</a>)</div></div><div id="paper184" class="paper_wrapper"><div class="title">Aggregating Crowd Wisdoms with Label-aware Autoencoders</div><div class="authors">Li'ang Yin, Jianhua Han, Weinan Zhang, Yong Yu</div><div class="details">(<a href="0184.pdf">PDF</a> | <a href="/proceedings/2017/184">  Details</a>)</div></div><div id="paper185" class="paper_wrapper"><div class="title">Proposing a Highly Accurate Hybrid Component-Based Factorised Preference Model in Recommender Systems</div><div class="authors">Farhad Zafari, Rasoul Rahmani, Irene Moser</div><div class="details">(<a href="0185.pdf">PDF</a> | <a href="/proceedings/2017/185">  Details</a>)</div></div><div id="paper186" class="paper_wrapper"><div class="title">Transfer Learning in Multi-Armed Bandits: A Causal Approach</div><div class="authors">Junzhe Zhang, Elias Bareinboim</div><div class="details">(<a href="0186.pdf">PDF</a> | <a href="/proceedings/2017/186">  Details</a>)</div></div><div id="paper187" class="paper_wrapper"><div class="title">Causal Discovery from Nonstationary/Heterogeneous Data: Skeleton Estimation and Orientation Determination</div><div class="authors">Kun Zhang, Biwei Huang, Jiji Zhang, Clark Glymour, Bernhard Schölkopf</div><div class="details">(<a href="0187.pdf">PDF</a> | <a href="/proceedings/2017/187">  Details</a>)</div></div><div id="paper188" class="paper_wrapper"><div class="title">Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach</div><div class="authors">Yizheng Zhao, Renate A. Schmidt</div><div class="details">(<a href="0188.pdf">PDF</a> | <a href="/proceedings/2017/188">  Details</a>)</div></div><div id="paper189" class="paper_wrapper"><div class="title">Symbolic LTLf Synthesis</div><div class="authors">Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi</div><div class="details">(<a href="0189.pdf">PDF</a> | <a href="/proceedings/2017/189">  Details</a>)</div></div><div id="paper190" class="paper_wrapper"><div class="title">A Unifying Framework  for Probabilistic Belief Revision</div><div class="authors">Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar</div><div class="details">(<a href="0190.pdf">PDF</a> | <a href="/proceedings/2017/190">  Details</a>)</div></div></div><div class="subsection" id="subsection4"><div class="subsection_title">Machine Learning A-R</div><div id="paper191" class="paper_wrapper"><div class="title">Contextual Covariance Matrix Adaptation Evolutionary Strategies</div><div class="authors">Abbas Abdolmaleki, Bob Price, Nuno Lau, Luis Paulo Reis, Gerhard Neumann</div><div class="details">(<a href="0191.pdf">PDF</a> | <a href="/proceedings/2017/191">  Details</a>)</div></div><div id="paper192" class="paper_wrapper"><div class="title">RHash: Robust Hashing via L_infinity-norm Distortion</div><div class="authors">Amirali Aghazadeh, Andrew Lan, Anshumali Shrivastava, Richard Baraniuk</div><div class="details">(<a href="0192.pdf">PDF</a> | <a href="/proceedings/2017/192">  Details</a>)</div></div><div id="paper193" class="paper_wrapper"><div class="title">Grounding of Human Environments and Activities for Autonomous Robots</div><div class="authors">Muhannad  Alomari, Paul Duckworth, Nils Bore, Majd Hawasly, David C. Hogg, Anthony G. Cohn</div><div class="details">(<a href="0193.pdf">PDF</a> | <a href="/proceedings/2017/193">  Details</a>)</div></div><div id="paper194" class="paper_wrapper"><div class="title">Universal Reinforcement Learning Algorithms: Survey and Experiments</div><div class="authors">John Aslanides, Jan Leike, Marcus Hutter</div><div class="details">(<a href="0194.pdf">PDF</a> | <a href="/proceedings/2017/194">  Details</a>)</div></div><div id="paper195" class="paper_wrapper"><div class="title">Bayesian Aggregation of Categorical Distributions with Applications in Crowdsourcing</div><div class="authors">Alexandry Augustin, Matteo Venanzi, Alex Rogers, Nicholas R. Jennings</div><div class="details">(<a href="0195.pdf">PDF</a> | <a href="/proceedings/2017/195">  Details</a>)</div></div><div id="paper196" class="paper_wrapper"><div class="title">Efficient Reinforcement Learning with Hierarchies of Machines by Leveraging Internal Transitions</div><div class="authors">Aijun Bai, Stuart Russell</div><div class="details">(<a href="0196.pdf">PDF</a> | <a href="/proceedings/2017/196">  Details</a>)</div></div><div id="paper197" class="paper_wrapper"><div class="title">Mining Convex Polygon Patterns with Formal Concept Analysis</div><div class="authors">Aimene Belfodil, Sergei O. Kuznetsov, Céline Robardet, Mehdi Kaytoue</div><div class="details">(<a href="0197.pdf">PDF</a> | <a href="/proceedings/2017/197">  Details</a>)</div></div><div id="paper198" class="paper_wrapper"><div class="title">Handling Noise in Boolean Matrix Factorization</div><div class="authors">Radim Belohlavek, Martin Trnecka</div><div class="details">(<a href="0198.pdf">PDF</a> | <a href="/proceedings/2017/198">  Details</a>)</div></div><div id="paper199" class="paper_wrapper"><div class="title">AccGenSVM: Selectively Transferring from Previous Hypotheses</div><div class="authors">Diana Benavides-Prado, Yun Sing Koh, Patricia Riddle</div><div class="details">(<a href="0199.pdf">PDF</a> | <a href="/proceedings/2017/199">  Details</a>)</div></div><div id="paper200" class="paper_wrapper"><div class="title">Unsupervised Learning of Deep Feature Representation for Clustering Egocentric Actions</div><div class="authors">Bharat Lal Bhatnagar, Suriya Singh, Chetan Arora, C.V. Jawahar</div><div class="details">(<a href="0200.pdf">PDF</a> | <a href="/proceedings/2017/200">  Details</a>)</div></div><div id="paper201" class="paper_wrapper"><div class="title">Using Graphs of Classifiers to Impose Declarative Constraints on Semi-supervised Learning</div><div class="authors">Lidong Bing, William W. Cohen, Bhuwan Dhingra</div><div class="details">(<a href="0201.pdf">PDF</a> | <a href="/proceedings/2017/201">  Details</a>)</div></div><div id="paper202" class="paper_wrapper"><div class="title">Human-Centric Justification of Machine Learning Predictions</div><div class="authors">Or Biran, Kathleen McKeown</div><div class="details">(<a href="0202.pdf">PDF</a> | <a href="/proceedings/2017/202">  Details</a>)</div></div><div id="paper203" class="paper_wrapper"><div class="title">Context Attentive Bandits: Contextual Bandit with Restricted Context</div><div class="authors">Djallel Bouneffouf, Irina Rish, Guillermo Cecchi, Raphaël Féraud</div><div class="details">(<a href="0203.pdf">PDF</a> | <a href="/proceedings/2017/203">  Details</a>)</div></div><div id="paper204" class="paper_wrapper"><div class="title">SPMC: Socially-Aware Personalized Markov Chains for Sparse Sequential Recommendation</div><div class="authors">Chenwei Cai, Ruining He, Julian McAuley</div><div class="details">(<a href="0204.pdf">PDF</a> | <a href="/proceedings/2017/204">  Details</a>)</div></div><div id="paper205" class="paper_wrapper"><div class="title">Multiple-Weight Recurrent Neural Networks</div><div class="authors">Zhu Cao, Linlin Wang, Gerard de Melo</div><div class="details">(<a href="0205.pdf">PDF</a> | <a href="/proceedings/2017/205">  Details</a>)</div></div><div id="paper206" class="paper_wrapper"><div class="title">Encoding and Recall of Spatio-Temporal Episodic Memory in Real Time</div><div class="authors">Poo-Hee Chang, Ah-Hwee Tan</div><div class="details">(<a href="0206.pdf">PDF</a> | <a href="/proceedings/2017/206">  Details</a>)</div></div><div id="paper207" class="paper_wrapper"><div class="title">Data-driven Random Fourier Features using Stein Effect</div><div class="authors">Wei-Cheng Chang, Chun-Liang Li, Yiming Yang, Barnabás Póczos</div><div class="details">(<a href="0207.pdf">PDF</a> | <a href="/proceedings/2017/207">  Details</a>)</div></div><div id="paper208" class="paper_wrapper"><div class="title">Importance-Aware Semantic Segmentation for Autonomous Driving System</div><div class="authors">Bi-ke Chen, Chen Gong, Jian Yang</div><div class="details">(<a href="0208.pdf">PDF</a> | <a href="/proceedings/2017/208">  Details</a>)</div></div><div id="paper209" class="paper_wrapper"><div class="title">Multilingual Knowledge Graph Embeddings for Cross-lingual Knowledge Alignment</div><div class="authors">Muhao Chen, Yingtao Tian, Mohan Yang, Carlo Zaniolo</div><div class="details">(<a href="0209.pdf">PDF</a> | <a href="/proceedings/2017/209">  Details</a>)</div></div><div id="paper210" class="paper_wrapper"><div class="title">Scalable Normalized Cut with Improved Spectral Rotation</div><div class="authors">Xiaojun Chen, Feiping Nie, Joshua Zhexue Huang, Min Yang</div><div class="details">(<a href="0210.pdf">PDF</a> | <a href="/proceedings/2017/210">  Details</a>)</div></div><div id="paper211" class="paper_wrapper"><div class="title">Semi-supervised Feature Selection via Rescaled Linear Regression</div><div class="authors">Xiaojun Chen, Guowen Yuan, Feiping Nie, Joshua Zhexue Huang</div><div class="details">(<a href="0211.pdf">PDF</a> | <a href="/proceedings/2017/211">  Details</a>)</div></div><div id="paper212" class="paper_wrapper"><div class="title">Training Group Orthogonal Neural Networks with Privileged Information</div><div class="authors">Yunpeng Chen, Xiaojie Jin, Jiashi Feng, Shuicheng Yan</div><div class="details">(<a href="0212.pdf">PDF</a> | <a href="/proceedings/2017/212">  Details</a>)</div></div><div id="paper213" class="paper_wrapper"><div class="title">Projection Free Rank-Drop Steps</div><div class="authors">Edward Cheung, Yuying Li</div><div class="details">(<a href="0213.pdf">PDF</a> | <a href="/proceedings/2017/213">  Details</a>)</div></div><div id="paper214" class="paper_wrapper"><div class="title">End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks</div><div class="authors">Min-je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo</div><div class="details">(<a href="0214.pdf">PDF</a> | <a href="/proceedings/2017/214">  Details</a>)</div></div><div id="paper215" class="paper_wrapper"><div class="title">Optimal Feature Selection for Decision Robustness in Bayesian Networks</div><div class="authors">YooJung Choi, Adnan  Darwiche, Guy Van den Broeck</div><div class="details">(<a href="0215.pdf">PDF</a> | <a href="/proceedings/2017/215">  Details</a>)</div></div><div id="paper216" class="paper_wrapper"><div class="title">Stacked Similarity-Aware Autoencoders</div><div class="authors">Wenqing Chu, Deng Cai</div><div class="details">(<a href="0216.pdf">PDF</a> | <a href="/proceedings/2017/216">  Details</a>)</div></div><div id="paper217" class="paper_wrapper"><div class="title">Further Results on Predicting Cognitive Abilities for Adaptive Visualizations</div><div class="authors">Cristina Conati, Sébastien Lallé, Md. Abed Rahman, Dereck Toker</div><div class="details">(<a href="0217.pdf">PDF</a> | <a href="/proceedings/2017/217">  Details</a>)</div></div><div id="paper218" class="paper_wrapper"><div class="title">Analogy-preserving functions: A way to extend Boolean samples</div><div class="authors">Miguel Couceiro, Nicolas Hug, Henri Prade, Gilles Richard</div><div class="details">(<a href="0218.pdf">PDF</a> | <a href="/proceedings/2017/218">  Details</a>)</div></div><div id="paper219" class="paper_wrapper"><div class="title">Real-Time Navigation in Classical Platform Games via Skill Reuse</div><div class="authors">Michael Dann, Fabio Zambetta, John Thangarajah</div><div class="details">(<a href="0219.pdf">PDF</a> | <a href="/proceedings/2017/219">  Details</a>)</div></div><div id="paper220" class="paper_wrapper"><div class="title">Disguise Adversarial Networks for Click-through Rate Prediction</div><div class="authors">Yue Deng, Yilin Shen, Hongxia Jin</div><div class="details">(<a href="0220.pdf">PDF</a> | <a href="/proceedings/2017/220">  Details</a>)</div></div><div id="paper221" class="paper_wrapper"><div class="title">Logic Tensor Networks for Semantic Image Interpretation</div><div class="authors">Ivan Donadello, Luciano Serafini, Artur d'Avila Garcez</div><div class="details">(<a href="0221.pdf">PDF</a> | <a href="/proceedings/2017/221">  Details</a>)</div></div><div id="paper222" class="paper_wrapper"><div class="title">Autoencoder Regularized Network For Driving Style Representation Learning</div><div class="authors">Weishan Dong, Ting Yuan, Kai Yang, Changsheng Li, Shilei Zhang</div><div class="details">(<a href="0222.pdf">PDF</a> | <a href="/proceedings/2017/222">  Details</a>)</div></div><div id="paper223" class="paper_wrapper"><div class="title">Privileged Matrix Factorization for Collaborative Filtering</div><div class="authors">Yali Du, Chang Xu, Dacheng Tao</div><div class="details">(<a href="0223.pdf">PDF</a> | <a href="/proceedings/2017/223">  Details</a>)</div></div><div id="paper224" class="paper_wrapper"><div class="title">Collaborative Rating Allocation</div><div class="authors">Yali Du, Chang Xu, Dacheng Tao</div><div class="details">(<a href="0224.pdf">PDF</a> | <a href="/proceedings/2017/224">  Details</a>)</div></div><div id="paper225" class="paper_wrapper"><div class="title">Semi-Supervised Learning for Surface EMG-based Gesture Recognition</div><div class="authors">Yu Du, Yongkang Wong, Wenguang Jin, Wentao Wei, Yu Hu, Mohan Kankanhalli, Weidong Geng</div><div class="details">(<a href="0225.pdf">PDF</a> | <a href="/proceedings/2017/225">  Details</a>)</div></div><div id="paper226" class="paper_wrapper"><div class="title">Clustering-Based Relational Unsupervised Representation Learning with an Explicit Distributed Representation</div><div class="authors">Sebastijan Dumancic, Hendrik Blockeel</div><div class="details">(<a href="0226.pdf">PDF</a> | <a href="/proceedings/2017/226">  Details</a>)</div></div><div id="paper227" class="paper_wrapper"><div class="title">Learning to Learn Programs from Examples: Going Beyond Program Structure</div><div class="authors">Kevin Ellis, Sumit Gulwani</div><div class="details">(<a href="0227.pdf">PDF</a> | <a href="/proceedings/2017/227">  Details</a>)</div></div><div id="paper228" class="paper_wrapper"><div class="title">Top-k Supervise Feature Selection via ADMM for Integer Programming</div><div class="authors">Mingyu Fan, Xiaojun Chang, Xiaoqin Zhang, Di Wang, Liang Du</div><div class="details">(<a href="0228.pdf">PDF</a> | <a href="/proceedings/2017/228">  Details</a>)</div></div><div id="paper229" class="paper_wrapper"><div class="title">Improved Bounded Matrix Completion for Large-Scale Recommender Systems</div><div class="authors">Huang Fang, Zhang Zhen, Yiqun Shao, Cho-Jui Hsieh</div><div class="details">(<a href="0229.pdf">PDF</a> | <a href="/proceedings/2017/229">  Details</a>)</div></div><div id="paper230" class="paper_wrapper"><div class="title">Object Detection Meets Knowledge Graphs</div><div class="authors">Yuan Fang, Kingsley Kuan, Jie Lin, Cheston Tan, Vijay Chandrasekhar</div><div class="details">(<a href="0230.pdf">PDF</a> | <a href="/proceedings/2017/230">  Details</a>)</div></div><div id="paper231" class="paper_wrapper"><div class="title">Dynamic Multi-Task Learning with Convolutional Neural Network</div><div class="authors">Yuchun Fang, Zhengyan Ma, Zhaoxiang Zhang, Xu-Yao Zhang, Xiang Bai</div><div class="details">(<a href="0231.pdf">PDF</a> | <a href="/proceedings/2017/231">  Details</a>)</div></div><div id="paper232" class="paper_wrapper"><div class="title">On the Complexity of Learning from Label Proportions</div><div class="authors">Benjamin Fish, Lev Reyzin</div><div class="details">(<a href="0232.pdf">PDF</a> | <a href="/proceedings/2017/232">  Details</a>)</div></div><div id="paper233" class="paper_wrapper"><div class="title">SVD-Based Screening for the Graphical Lasso</div><div class="authors">Yasuhiro Fujiwara, Naoki Marumo, Mathieu Blondel, Koh Takeuchi, Hideaki Kim, Tomoharu Iwata, Naonori Ueda</div><div class="details">(<a href="0233.pdf">PDF</a> | <a href="/proceedings/2017/233">  Details</a>)</div></div><div id="paper234" class="paper_wrapper"><div class="title">Identifying Human Mobility via Trajectory Embeddings</div><div class="authors">Qiang Gao, Fan Zhou, Kunpeng Zhang, Goce Trajcevski, Xucheng Luo, Fengli Zhang</div><div class="details">(<a href="0234.pdf">PDF</a> | <a href="/proceedings/2017/234">  Details</a>)</div></div><div id="paper235" class="paper_wrapper"><div class="title">Neurogenesis-Inspired Dictionary Learning: Online Model Adaption in a Changing World</div><div class="authors">Sahil Garg, Irina Rish, Guillermo Cecchi, Aurelie Lozano</div><div class="details">(<a href="0235.pdf">PDF</a> | <a href="/proceedings/2017/235">  Details</a>)</div></div><div id="paper236" class="paper_wrapper"><div class="title">Towards Understanding the Invertibility of Convolutional Neural Networks</div><div class="authors">Anna Gilbert, Yi Zhang, Kibok Lee, Yuting Zhang, Honglak Lee</div><div class="details">(<a href="0236.pdf">PDF</a> | <a href="/proceedings/2017/236">  Details</a>)</div></div><div id="paper237" class="paper_wrapper"><div class="title">Sample Efficient Policy Search for Optimal Stopping Domains</div><div class="authors">Karan Goel, Christoph Dann, Emma Brunskill</div><div class="details">(<a href="0237.pdf">PDF</a> | <a href="/proceedings/2017/237">  Details</a>)</div></div><div id="paper238" class="paper_wrapper"><div class="title">Extracting Visual Knowledge from the Web with Multimodal Learning</div><div class="authors">Dihong Gong, Daisy Zhe Wang</div><div class="details">(<a href="0238.pdf">PDF</a> | <a href="/proceedings/2017/238">  Details</a>)</div></div><div id="paper239" class="paper_wrapper"><div class="title">DeepFM: A Factorization-Machine based Neural Network for CTR Prediction</div><div class="authors">Huifeng Guo, Ruiming TANG, Yunming Ye, Zhenguo Li, Xiuqiang He</div><div class="details">(<a href="0239.pdf">PDF</a> | <a href="/proceedings/2017/239">  Details</a>)</div></div><div id="paper240" class="paper_wrapper"><div class="title">A Density-based Nonparametric Model for Online Event Discovery from the Social Media Data</div><div class="authors">Jinjin Guo, Zhiguo Gong</div><div class="details">(<a href="0240.pdf">PDF</a> | <a href="/proceedings/2017/240">  Details</a>)</div></div><div id="paper241" class="paper_wrapper"><div class="title">Exclusivity Regularized Machine: A New Ensemble SVM Classifier</div><div class="authors">Xiaojie Guo, Xiaobo Wang, Haibin Ling</div><div class="details">(<a href="0241.pdf">PDF</a> | <a href="/proceedings/2017/241">  Details</a>)</div></div><div id="paper242" class="paper_wrapper"><div class="title">ROUTE: Robust Outlier Estimation for Low Rank Matrix Recovery</div><div class="authors">Xiaojie Guo, Zhouchen Lin</div><div class="details">(<a href="0242.pdf">PDF</a> | <a href="/proceedings/2017/242">  Details</a>)</div></div><div id="paper243" class="paper_wrapper"><div class="title">Improved Deep Embedded Clustering with Local Structure Preservation</div><div class="authors">Xifeng Guo, Long Gao, Xinwang Liu, Jianping Yin</div><div class="details">(<a href="0243.pdf">PDF</a> | <a href="/proceedings/2017/243">  Details</a>)</div></div><div id="paper244" class="paper_wrapper"><div class="title">Robust Asymmetric Bayesian Adaptive Matrix Factorization</div><div class="authors">Xin Guo, Boyuan Pan, Deng Cai, Xiaofei He</div><div class="details">(<a href="0244.pdf">PDF</a> | <a href="/proceedings/2017/244">  Details</a>)</div></div><div id="paper245" class="paper_wrapper"><div class="title">SitNet: Discrete Similarity Transfer Network for Zero-shot Hashing</div><div class="authors">Yuchen Guo, Guiguang Ding, Jungong Han, Yue Gao</div><div class="details">(<a href="0245.pdf">PDF</a> | <a href="/proceedings/2017/245">  Details</a>)</div></div><div id="paper246" class="paper_wrapper"><div class="title">Synthesizing Samples for Zero-shot Learning</div><div class="authors">Yuchen Guo, Guiguang Ding, Jungong Han, Yue Gao</div><div class="details">(<a href="0246.pdf">PDF</a> | <a href="/proceedings/2017/246">  Details</a>)</div></div><div id="paper247" class="paper_wrapper"><div class="title">Understanding Users' Budgets for Recommendation with Hierarchical Poisson Factorization</div><div class="authors">Yunhui Guo, Congfu Xu, Hanzhang Song, Xin Wang</div><div class="details">(<a href="0247.pdf">PDF</a> | <a href="/proceedings/2017/247">  Details</a>)</div></div><div id="paper248" class="paper_wrapper"><div class="title">Improved Strong Worst-case Upper Bounds for MDP Planning</div><div class="authors">Anchit Gupta, Shivaram Kalyanakrishnan</div><div class="details">(<a href="0248.pdf">PDF</a> | <a href="/proceedings/2017/248">  Details</a>)</div></div><div id="paper249" class="paper_wrapper"><div class="title">Instability Prediction in Power Systems using Recurrent Neural Networks</div><div class="authors">Ankita Gupta, Gurunath Gurrala, Pidaparthy S Sastry</div><div class="details">(<a href="0249.pdf">PDF</a> | <a href="/proceedings/2017/249">  Details</a>)</div></div><div id="paper250" class="paper_wrapper"><div class="title">Knowledge Transfer for Out-of-Knowledge-Base Entities : A Graph Neural Network Approach</div><div class="authors">Takuo Hamaguchi, Hidekazu Oiwa, Masashi Shimbo, Yuji Matsumoto</div><div class="details">(<a href="0250.pdf">PDF</a> | <a href="/proceedings/2017/250">  Details</a>)</div></div><div id="paper251" class="paper_wrapper"><div class="title">Orthogonal and Nonnegative Graph Reconstruction for Large Scale Clustering</div><div class="authors">Junwei Han, Kai Xiong, Feiping Nie</div><div class="details">(<a href="0251.pdf">PDF</a> | <a href="/proceedings/2017/251">  Details</a>)</div></div><div id="paper252" class="paper_wrapper"><div class="title">Self-paced Mixture of Regressions</div><div class="authors">Longfei Han, Dingwen Zhang, Dong Huang, Xiaojun Chang, Jun Ren, Senlin Luo, Junwei Han</div><div class="details">(<a href="0252.pdf">PDF</a> | <a href="/proceedings/2017/252">  Details</a>)</div></div><div id="paper253" class="paper_wrapper"><div class="title">Online Multitask Relative Similarity Learning</div><div class="authors">Shuji Hao, Peilin Zhao, Yong Liu, Steven C. H. Hoi, Chunyan Miao</div><div class="details">(<a href="0253.pdf">PDF</a> | <a href="/proceedings/2017/253">  Details</a>)</div></div><div id="paper254" class="paper_wrapper"><div class="title">Nonlinear Maximum Margin Multi-View Learning with Adaptive Kernel</div><div class="authors">Jia He, Changying Du, Changde Du, Fuzhen Zhuang, Qing He, Guoping Long</div><div class="details">(<a href="0254.pdf">PDF</a> | <a href="/proceedings/2017/254">  Details</a>)</div></div><div id="paper255" class="paper_wrapper"><div class="title">Category-aware Next Point-of-Interest Recommendation via Listwise Bayesian Personalized Ranking</div><div class="authors">Jing He, Xin Li, Lejian Liao</div><div class="details">(<a href="0255.pdf">PDF</a> | <a href="/proceedings/2017/255">  Details</a>)</div></div><div id="paper256" class="paper_wrapper"><div class="title">Storage Fit Learning with Unlabeled Data</div><div class="authors">Bo-Jian Hou, Lijun Zhang, Zhi-Hua Zhou</div><div class="details">(<a href="0256.pdf">PDF</a> | <a href="/proceedings/2017/256">  Details</a>)</div></div><div id="paper257" class="paper_wrapper"><div class="title">Fast Recursive Low-rank Tensor Learning for Regression</div><div class="authors">Ming Hou, Brahim Chaib-draa</div><div class="details">(<a href="0257.pdf">PDF</a> | <a href="/proceedings/2017/257">  Details</a>)</div></div><div id="paper258" class="paper_wrapper"><div class="title">Diversifying Personalized Recommendation with User-session Context</div><div class="authors">Liang Hu, Longbing Cao, Shoujin Wang, Guandong Xu, Jian Cao, Zhiping Gu</div><div class="details">(<a href="0258.pdf">PDF</a> | <a href="/proceedings/2017/258">  Details</a>)</div></div><div id="paper259" class="paper_wrapper"><div class="title">Semi-supervised Max-margin Topic Model with Manifold Posterior Regularization</div><div class="authors">Wenbo Hu, Jun Zhu, Hang Su, Jingwei Zhuo, Bo Zhang</div><div class="details">(<a href="0259.pdf">PDF</a> | <a href="/proceedings/2017/259">  Details</a>)</div></div><div id="paper260" class="paper_wrapper"><div class="title">Mention Recommendation for Twitter with End-to-end Memory Network</div><div class="authors">Haoran Huang, Qi Zhang, Xuanjing Huang</div><div class="details">(<a href="0260.pdf">PDF</a> | <a href="/proceedings/2017/260">  Details</a>)</div></div><div id="paper261" class="paper_wrapper"><div class="title">Cost-Effective Active Learning from Diverse Labelers</div><div class="authors">Sheng-Jun Huang, Jia-Lve Chen, Xin Mu, Zhi-Hua Zhou</div><div class="details">(<a href="0261.pdf">PDF</a> | <a href="/proceedings/2017/261">  Details</a>)</div></div><div id="paper262" class="paper_wrapper"><div class="title">Multi-instance multi-label active learning</div><div class="authors">Sheng-Jun Huang, Nengneng Gao, Songcan Chen</div><div class="details">(<a href="0262.pdf">PDF</a> | <a href="/proceedings/2017/262">  Details</a>)</div></div><div id="paper263" class="paper_wrapper"><div class="title">Cross-modal Common Representation Learning by Hybrid Transfer Network</div><div class="authors">Xin Huang, Yuxin Peng, Mingkuan Yuan</div><div class="details">(<a href="0263.pdf">PDF</a> | <a href="/proceedings/2017/263">  Details</a>)</div></div><div id="paper264" class="paper_wrapper"><div class="title">Incremental Matrix Factorization: A Linear Feature Transformation Perspective</div><div class="authors">Xunpeng Huang, Le Wu, Enhong Chen, Hengshu Zhu, Qi Liu, Yijun Wang</div><div class="details">(<a href="0264.pdf">PDF</a> | <a href="/proceedings/2017/264">  Details</a>)</div></div><div id="paper265" class="paper_wrapper"><div class="title">Enhancing the Unified Features to Locate Buggy Files by Exploiting the Sequential Nature of Source Code</div><div class="authors">Xuan Huo, Ming Li</div><div class="details">(<a href="0265.pdf">PDF</a> | <a href="/proceedings/2017/265">  Details</a>)</div></div><div id="paper266" class="paper_wrapper"><div class="title">Ordinal Zero-Shot Learning</div><div class="authors">Zengwei Huo, Xin Geng</div><div class="details">(<a href="0266.pdf">PDF</a> | <a href="/proceedings/2017/266">  Details</a>)</div></div><div id="paper267" class="paper_wrapper"><div class="title">Adaptive Learning Rate via Covariance Matrix Based Preconditioning for Deep Neural Networks</div><div class="authors">Yasutoshi Ida, Yasuhiro Fujiwara, Sotetsu Iwamura</div><div class="details">(<a href="0267.pdf">PDF</a> | <a href="/proceedings/2017/267">  Details</a>)</div></div><div id="paper268" class="paper_wrapper"><div class="title">Privacy Issues Regarding the Application of DNNs to Activity-Recognition using Wearables and Its Countermeasures by Use of Adversarial Training</div><div class="authors">Yusuke Iwasawa, Kotaro Nakayama, Ikuko Yairi, Yutaka Matsuo</div><div class="details">(<a href="0268.pdf">PDF</a> | <a href="/proceedings/2017/268">  Details</a>)</div></div><div id="paper269" class="paper_wrapper"><div class="title">Embedding-based Representation of Categorical Data by Hierarchical Value Coupling Learning</div><div class="authors">Songlei Jian, Longbing Cao, Guansong Pang, Kai Lu, Hang Gao</div><div class="details">(<a href="0269.pdf">PDF</a> | <a href="/proceedings/2017/269">  Details</a>)</div></div><div id="paper270" class="paper_wrapper"><div class="title">Semi-supervised Learning over Heterogeneous Information Networks by Ensemble of Meta-graph Guided Random Walks</div><div class="authors">He Jiang, Yangqiu Song, Chenguang Wang, Ming Zhang, Yizhou Sun</div><div class="details">(<a href="0270.pdf">PDF</a> | <a href="/proceedings/2017/270">  Details</a>)</div></div><div id="paper271" class="paper_wrapper"><div class="title">Exploration of Tree-based Hierarchical Softmax for Recurrent Language Models</div><div class="authors">Nan Jiang, Wenge Rong, Min Gao, Yikang Shen, Zhang Xiong</div><div class="details">(<a href="0271.pdf">PDF</a> | <a href="/proceedings/2017/271">  Details</a>)</div></div><div id="paper272" class="paper_wrapper"><div class="title">Theoretic Analysis and Extremely Easy Algorithms for Domain Adaptive Feature Learning</div><div class="authors">Wenhao Jiang, Cheng Deng, Wei Liu, Feiping Nie, Fu-lai Chung, Heng Huang</div><div class="details">(<a href="0272.pdf">PDF</a> | <a href="/proceedings/2017/272">  Details</a>)</div></div><div id="paper273" class="paper_wrapper"><div class="title">Variational Deep Embedding: An Unsupervised and Generative Approach to Clustering</div><div class="authors">Zhuxi Jiang, Yin Zheng, Huachun Tan, Bangsheng Tang, Hanning Zhou</div><div class="details">(<a href="0273.pdf">PDF</a> | <a href="/proceedings/2017/273">  Details</a>)</div></div><div id="paper274" class="paper_wrapper"><div class="title">Improving Classification Accuracy of Feedforward Neural Networks for Spiking Neuromorphic Chips</div><div class="authors">Antonio Jimeno Yepes, Jianbin Tang, Benjamin Scott Mashford</div><div class="details">(<a href="0274.pdf">PDF</a> | <a href="/proceedings/2017/274">  Details</a>)</div></div><div id="paper275" class="paper_wrapper"><div class="title">Confusion Graph: Detecting Confusion Communities in Large Scale Image Classification</div><div class="authors">Ruochun Jin, Yong Dou, Yueqing Wang, Xin Niu</div><div class="details">(<a href="0275.pdf">PDF</a> | <a href="/proceedings/2017/275">  Details</a>)</div></div><div id="paper276" class="paper_wrapper"><div class="title">A Functional Dynamic Boltzmann Machine</div><div class="authors">Hiroshi Kajino</div><div class="details">(<a href="0276.pdf">PDF</a> | <a href="/proceedings/2017/276">  Details</a>)</div></div><div id="paper277" class="paper_wrapper"><div class="title">Modelling the Working Week for Multi-Step Forecasting using Gaussian Process Regression</div><div class="authors">Pasan Karunaratne, Masud Moshtaghi, Shanika Karunasekera, Aaron Harwood, Trevor Cohn</div><div class="details">(<a href="0277.pdf">PDF</a> | <a href="/proceedings/2017/277">  Details</a>)</div></div><div id="paper278" class="paper_wrapper"><div class="title">Bernoulli Rank-1 Bandits for Click Feedback</div><div class="authors">Sumeet Katariya, Branislav Kveton, Csaba Szepesvári, Claire Vernade, Zheng Wen</div><div class="details">(<a href="0278.pdf">PDF</a> | <a href="/proceedings/2017/278">  Details</a>)</div></div><div id="paper279" class="paper_wrapper"><div class="title">Learning deep structured network for weakly supervised change detection</div><div class="authors">Salman Khan, Xuming He, Fatih Porikli, Mohammed Bennamoun, Ferdous Sohel, Roberto Togneri</div><div class="details">(<a href="0279.pdf">PDF</a> | <a href="/proceedings/2017/279">  Details</a>)</div></div><div id="paper280" class="paper_wrapper"><div class="title">DeepStory: Video Story QA by Deep Embedded Memory Networks</div><div class="authors">Kyung-Min Kim, Min-Oh Heo, Seong-Ho Choi, Byoung-Tak Zhang</div><div class="details">(<a href="0280.pdf">PDF</a> | <a href="/proceedings/2017/280">  Details</a>)</div></div><div id="paper281" class="paper_wrapper"><div class="title">Efficiency Through Procrastination: Approximately Optimal Algorithm Configuration with Runtime Guarantees</div><div class="authors">Robert Kleinberg, Kevin Leyton-Brown, Brendan Lucier</div><div class="details">(<a href="0281.pdf">PDF</a> | <a href="/proceedings/2017/281">  Details</a>)</div></div><div id="paper282" class="paper_wrapper"><div class="title">Decreasing Uncertainty in Planning with State Prediction</div><div class="authors">Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sandor Szedmak, Justus Piater</div><div class="details">(<a href="0282.pdf">PDF</a> | <a href="/proceedings/2017/282">  Details</a>)</div></div><div id="paper283" class="paper_wrapper"><div class="title">Learning Latest Classifiers without Additional Labeled Data</div><div class="authors">Atsutoshi Kumagai, Tomoharu Iwata</div><div class="details">(<a href="0283.pdf">PDF</a> | <a href="/proceedings/2017/283">  Details</a>)</div></div><div id="paper284" class="paper_wrapper"><div class="title">Earth Mover's Distance Pooling over Siamese LSTMs for Automatic Short Answer Grading</div><div class="authors">Sachin Kumar, Soumen Chakrabarti, Shourya Roy</div><div class="details">(<a href="0284.pdf">PDF</a> | <a href="/proceedings/2017/284">  Details</a>)</div></div><div id="paper285" class="paper_wrapper"><div class="title">Saliency Guided End-to-End Learning for Weakly Supervised Object Detection</div><div class="authors">Baisheng Lai, Xiaojin Gong</div><div class="details">(<a href="0285.pdf">PDF</a> | <a href="/proceedings/2017/285">  Details</a>)</div></div><div id="paper286" class="paper_wrapper"><div class="title">Basket-Sensitive Personalized Item Recommendation</div><div class="authors">Duc-Trong Le, Hady W. Lauw, Yuan Fang</div><div class="details">(<a href="0286.pdf">PDF</a> | <a href="/proceedings/2017/286">  Details</a>)</div></div><div id="paper287" class="paper_wrapper"><div class="title">Learning Sparse Representations in Reinforcement Learning with Sparse Coding</div><div class="authors">Lei Le, Raksha Kumaraswamy, Martha White</div><div class="details">(<a href="0287.pdf">PDF</a> | <a href="/proceedings/2017/287">  Details</a>)</div></div><div id="paper288" class="paper_wrapper"><div class="title">Semantic Visualization for Short Texts with Word Embeddings</div><div class="authors">Tuan M. V. Le, Hady W. Lauw</div><div class="details">(<a href="0288.pdf">PDF</a> | <a href="/proceedings/2017/288">  Details</a>)</div></div><div id="paper289" class="paper_wrapper"><div class="title">Name Nationality Classification with Recurrent Neural Networks</div><div class="authors">Jinhyuk Lee, Hyunjae Kim, Miyoung Ko, Donghee Choi, Jaehoon Choi, Jaewoo Kang</div><div class="details">(<a href="0289.pdf">PDF</a> | <a href="/proceedings/2017/289">  Details</a>)</div></div><div id="paper290" class="paper_wrapper"><div class="title">Constrained Bayesian Reinforcement Learning via Approximate Linear Programming</div><div class="authors">Jongmin Lee, Youngsoo Jang, Pascal Poupart, Kee-Eung Kim</div><div class="details">(<a href="0290.pdf">PDF</a> | <a href="/proceedings/2017/290">  Details</a>)</div></div><div id="paper291" class="paper_wrapper"><div class="title">High Dimensional Bayesian Optimization using Dropout</div><div class="authors">Cheng Li, Sunil Gupta, Santu Rana, Vu Nguyen, Svetha Venkatesh, Alistair Shilton</div><div class="details">(<a href="0291.pdf">PDF</a> | <a href="/proceedings/2017/291">  Details</a>)</div></div><div id="paper292" class="paper_wrapper"><div class="title">Effective Representing of Information Network by Variational Autoencoder</div><div class="authors">Hang Li, Haozheng Wang, Zhenglu Yang, Haochen Liu</div><div class="details">(<a href="0292.pdf">PDF</a> | <a href="/proceedings/2017/292">  Details</a>)</div></div><div id="paper293" class="paper_wrapper"><div class="title">Self-paced Convolutional Neural Networks</div><div class="authors">Hao Li, Maoguo Gong</div><div class="details">(<a href="0293.pdf">PDF</a> | <a href="/proceedings/2017/293">  Details</a>)</div></div><div id="paper294" class="paper_wrapper"><div class="title">Learning User's Intrinsic and Extrinsic Interests for Point-of-Interest Recommendation: A Unified Approach</div><div class="authors">Huayu Li, Yong Ge, Defu Lian, Hao Liu</div><div class="details">(<a href="0294.pdf">PDF</a> | <a href="/proceedings/2017/294">  Details</a>)</div></div><div id="paper295" class="paper_wrapper"><div class="title">Efficient Kernel Selection via Spectral Analysis</div><div class="authors">Jian Li, Yong Liu, Hailun  Lin, Yinliang Yue, Weiping Wang</div><div class="details">(<a href="0295.pdf">PDF</a> | <a href="/proceedings/2017/295">  Details</a>)</div></div><div id="paper296" class="paper_wrapper"><div class="title">Improving the Generalization Performance of Multi-class SVM via Angular Regularization</div><div class="authors">Jianxin Li, Haoyi Zhou, Pengtao Xie, Yingchun Zhang</div><div class="details">(<a href="0296.pdf">PDF</a> | <a href="/proceedings/2017/296">  Details</a>)</div></div><div id="paper297" class="paper_wrapper"><div class="title">Large-scale Subspace Clustering by Fast Regression Coding</div><div class="authors">Jun Li, Handong Zhao, Zhiqiang Tao, Yun Fu</div><div class="details">(<a href="0297.pdf">PDF</a> | <a href="/proceedings/2017/297">  Details</a>)</div></div><div id="paper298" class="paper_wrapper"><div class="title">Projective Low-rank Subspace Clustering via Learning Deep Encoder</div><div class="authors">Jun Li, Liu Hongfu, Handong Zhao, Yun Fu</div><div class="details">(<a href="0298.pdf">PDF</a> | <a href="/proceedings/2017/298">  Details</a>)</div></div><div id="paper299" class="paper_wrapper"><div class="title">Radar: Residual Analysis for Anomaly Detection in Attributed Networks</div><div class="authors">Jundong Li, Harsh Dani, Xia Hu, Huan Liu</div><div class="details">(<a href="0299.pdf">PDF</a> | <a href="/proceedings/2017/299">  Details</a>)</div></div><div id="paper300" class="paper_wrapper"><div class="title">Reconstruction-based Unsupervised Feature Selection: An Embedded Approach</div><div class="authors">Jundong Li, Jiliang Tang, Huan Liu</div><div class="details">(<a href="0300.pdf">PDF</a> | <a href="/proceedings/2017/300">  Details</a>)</div></div><div id="paper301" class="paper_wrapper"><div class="title">Multi-Stream Deep Similarity Learning Networks for Visual Tracking</div><div class="authors">Kunpeng Li, Yu Kong, Yun Fu</div><div class="details">(<a href="0301.pdf">PDF</a> | <a href="/proceedings/2017/301">  Details</a>)</div></div><div id="paper302" class="paper_wrapper"><div class="title">Affinity Learning for Mixed Data Clustering</div><div class="authors">Nan Li, Longin Jan Latecki</div><div class="details">(<a href="0302.pdf">PDF</a> | <a href="/proceedings/2017/302">  Details</a>)</div></div><div id="paper303" class="paper_wrapper"><div class="title">Online Robust Low-Rank Tensor Learning</div><div class="authors">Ping Li, Jiashi Feng, Xiaojie Jin, Luming Zhang, Xianghua Xu, Shuicheng Yan</div><div class="details">(<a href="0303.pdf">PDF</a> | <a href="/proceedings/2017/303">  Details</a>)</div></div><div id="paper304" class="paper_wrapper"><div class="title">Self-paced Compensatory Deep Boltzmann Machine for Semi-Structured Document Embedding</div><div class="authors">Shuangyin Li, Rong Pan, Jun Yan</div><div class="details">(<a href="0304.pdf">PDF</a> | <a href="/proceedings/2017/304">  Details</a>)</div></div><div id="paper305" class="paper_wrapper"><div class="title">Person Re-Identification by Deep Joint Learning of Multi-Loss Classification</div><div class="authors">Wei Li, Xiatian Zhu, Shaogang Gong</div><div class="details">(<a href="0305.pdf">PDF</a> | <a href="/proceedings/2017/305">  Details</a>)</div></div><div id="paper306" class="paper_wrapper"><div class="title">Locality Adaptive Discriminant Analysis</div><div class="authors">Xuelong Li, Mulin Chen, Feiping Nie, Qi Wang</div><div class="details">(<a href="0306.pdf">PDF</a> | <a href="/proceedings/2017/306">  Details</a>)</div></div><div id="paper307" class="paper_wrapper"><div class="title">MAM-RNN: Multi-level Attention Model Based RNN for Video Captioning</div><div class="authors">Xuelong Li, Bin Zhao, Xiaoqiang Lu</div><div class="details">(<a href="0307.pdf">PDF</a> | <a href="/proceedings/2017/307">  Details</a>)</div></div><div id="paper308" class="paper_wrapper"><div class="title">Classification and Representation Joint Learning via Deep Networks</div><div class="authors">Ya Li, Xinmei Tian, Xu Shen, Dacheng Tao</div><div class="details">(<a href="0308.pdf">PDF</a> | <a href="/proceedings/2017/308">  Details</a>)</div></div><div id="paper309" class="paper_wrapper"><div class="title">CFNN: Correlation Filter Neural Network for Visual Object Tracking</div><div class="authors">Yang Li, Zhan Xu, Jianke Zhu</div><div class="details">(<a href="0309.pdf">PDF</a> | <a href="/proceedings/2017/309">  Details</a>)</div></div><div id="paper310" class="paper_wrapper"><div class="title">Demystifying Neural Style Transfer</div><div class="authors">Yanghao Li, Naiyan Wang, Jiaying Liu, Xiaodi Hou</div><div class="details">(<a href="0310.pdf">PDF</a> | <a href="/proceedings/2017/310">  Details</a>)</div></div><div id="paper311" class="paper_wrapper"><div class="title">End-to-End Adversarial Memory Network for Cross-domain Sentiment Classification</div><div class="authors">Zheng Li, Yu Zhang, Ying Wei, Yuxiang Wu, Qiang Yang</div><div class="details">(<a href="0311.pdf">PDF</a> | <a href="/proceedings/2017/311">  Details</a>)</div></div><div id="paper312" class="paper_wrapper"><div class="title">Integrating Specialized Classifiers Based on Continuous Time Markov Chain</div><div class="authors">Zhizhong Li, Dahua Lin</div><div class="details">(<a href="0312.pdf">PDF</a> | <a href="/proceedings/2017/312">  Details</a>)</div></div><div id="paper313" class="paper_wrapper"><div class="title">Incomplete Attribute Learning with auxiliary labels</div><div class="authors">Kongming Liang, Yuhong Guo, Hong Chang, Xilin Chen</div><div class="details">(<a href="0313.pdf">PDF</a> | <a href="/proceedings/2017/313">  Details</a>)</div></div><div id="paper314" class="paper_wrapper"><div class="title">LoCaTe: Influence Quantification for Location Promotion in Location-based Social Networks</div><div class="authors">Ankita Likhyani, Srikanta Bedathur, Deepak P</div><div class="details">(<a href="0314.pdf">PDF</a> | <a href="/proceedings/2017/314">  Details</a>)</div></div><div id="paper315" class="paper_wrapper"><div class="title">Discriminative Deep Hashing for Scalable Face Image Retrieval</div><div class="authors">Jie Lin, Zechao Li, Jinhui Tang</div><div class="details">(<a href="0315.pdf">PDF</a> | <a href="/proceedings/2017/315">  Details</a>)</div></div><div id="paper316" class="paper_wrapper"><div class="title">Hybrid Neural Networks for Learning the Trend in Time Series</div><div class="authors">Tao Lin, Tian Guo, Karl Aberer</div><div class="details">(<a href="0316.pdf">PDF</a> | <a href="/proceedings/2017/316">  Details</a>)</div></div><div id="paper317" class="paper_wrapper"><div class="title">Regional Concept Drift Detection and Density Synchronized Drift Adaptation</div><div class="authors">Anjin Liu, Yiliao Song, Guangquan Zhang, Jie Lu</div><div class="details">(<a href="0317.pdf">PDF</a> | <a href="/proceedings/2017/317">  Details</a>)</div></div><div id="paper318" class="paper_wrapper"><div class="title">Deep Neural Networks for High Dimension, Low Sample Size Data</div><div class="authors">Bo Liu, Ying Wei, Yu Zhang, Qiang Yang</div><div class="details">(<a href="0318.pdf">PDF</a> | <a href="/proceedings/2017/318">  Details</a>)</div></div><div id="paper319" class="paper_wrapper"><div class="title">Locally Linear Factorization Machines</div><div class="authors">Chenghao Liu, Teng Zhang, Peilin Zhao, Jun Zhou, Jianling Sun</div><div class="details">(<a href="0319.pdf">PDF</a> | <a href="/proceedings/2017/319">  Details</a>)</div></div><div id="paper320" class="paper_wrapper"><div class="title">DeepFacade: A Deep Learning Approach to Facade Parsing</div><div class="authors">Hantang Liu, Jialiang Zhang, Jianke Zhu, Steven C. H. Hoi</div><div class="details">(<a href="0320.pdf">PDF</a> | <a href="/proceedings/2017/320">  Details</a>)</div></div><div id="paper321" class="paper_wrapper"><div class="title">Semi-supervised Orthogonal Graph Embedding with Recursive Projections</div><div class="authors">Hanyang Liu, Junwei Han, Feiping Nie</div><div class="details">(<a href="0321.pdf">PDF</a> | <a href="/proceedings/2017/321">  Details</a>)</div></div><div id="paper322" class="paper_wrapper"><div class="title">Modeling Hebb Learning Rule for Unsupervised Learning</div><div class="authors">Jia Liu, Maoguo Gong, Qiguang Miao</div><div class="details">(<a href="0322.pdf">PDF</a> | <a href="/proceedings/2017/322">  Details</a>)</div></div><div id="paper323" class="paper_wrapper"><div class="title">Fast SVM Trained by Divide-and-Conquer Anchors</div><div class="authors">Meng Liu, Chang Xu, Chao Xu, Dacheng Tao</div><div class="details">(<a href="0323.pdf">PDF</a> | <a href="/proceedings/2017/323">  Details</a>)</div></div><div id="paper324" class="paper_wrapper"><div class="title">Improving Learning-from-Crowds through Expert Validation</div><div class="authors">Mengchen Liu, Liu Jiang, Junlin Liu, Xiting Wang, Jun Zhu, Shixia Liu</div><div class="details">(<a href="0324.pdf">PDF</a> | <a href="/proceedings/2017/324">  Details</a>)</div></div><div id="paper325" class="paper_wrapper"><div class="title">Accelerated Local Anomaly Detection via Resolving Attributed Networks</div><div class="authors">Ninghao Liu, Xiao Huang, Xia Hu</div><div class="details">(<a href="0325.pdf">PDF</a> | <a href="/proceedings/2017/325">  Details</a>)</div></div><div id="paper326" class="paper_wrapper"><div class="title">Cause-Effect Knowledge Acquisition and Neural Association Model for Solving A Set of Winograd Schema Problems</div><div class="authors">Quan Liu, Hui Jiang, Andrew Evdokimov, Zhen-Hua Ling, Xiaodan Zhu, Si Wei, Yu Hu</div><div class="details">(<a href="0326.pdf">PDF</a> | <a href="/proceedings/2017/326">  Details</a>)</div></div><div id="paper327" class="paper_wrapper"><div class="title">Learning Concise Representations of Users' Influences through Online Behaviors</div><div class="authors">Shenghua Liu, Houdong Zheng, Huawei Shen, Xueqi Cheng, Xiangwen Liao</div><div class="details">(<a href="0327.pdf">PDF</a> | <a href="/proceedings/2017/327">  Details</a>)</div></div><div id="paper328" class="paper_wrapper"><div class="title">Adaptive Group Sparse Multi-task Learning via Trace Lasso</div><div class="authors">Sulin Liu, Sinno Jialin Pan</div><div class="details">(<a href="0328.pdf">PDF</a> | <a href="/proceedings/2017/328">  Details</a>)</div></div><div id="paper329" class="paper_wrapper"><div class="title">Understanding How Feature Structure Transfers in Transfer Learning</div><div class="authors">Tongliang Liu, Qiang Yang, Dacheng Tao</div><div class="details">(<a href="0329.pdf">PDF</a> | <a href="/proceedings/2017/329">  Details</a>)</div></div><div id="paper330" class="paper_wrapper"><div class="title">Deep Ordinal Regression Based on Data Relationship for Small Datasets</div><div class="authors">Yanzhu Liu, Adams Wai Kin Kong, Chi Keong Goh </div><div class="details">(<a href="0330.pdf">PDF</a> | <a href="/proceedings/2017/330">  Details</a>)</div></div><div id="paper331" class="paper_wrapper"><div class="title">Learning User Dependencies for Recommendation</div><div class="authors">Yong Liu, Peilin Zhao, Xin Liu, Min Wu, Lixin Duan, Xiao-Li Li</div><div class="details">(<a href="0331.pdf">PDF</a> | <a href="/proceedings/2017/331">  Details</a>)</div></div><div id="paper332" class="paper_wrapper"><div class="title">JM-Net and Cluster-SVM for Aerial Scene Classification</div><div class="authors">Xiaoqiang Lu, Yuan Yuan, Jie Fang</div><div class="details">(<a href="0332.pdf">PDF</a> | <a href="/proceedings/2017/332">  Details</a>)</div></div><div id="paper333" class="paper_wrapper"><div class="title">Dynamic Weighted Majority for Incremental Learning of Imbalanced Data Streams with Concept Drift</div><div class="authors">Yang Lu, Yiu-ming Cheung, Yuan Yan Tang</div><div class="details">(<a href="0333.pdf">PDF</a> | <a href="/proceedings/2017/333">  Details</a>)</div></div><div id="paper334" class="paper_wrapper"><div class="title">Sampling for Approximate Maximum Search in Factorized Tensor</div><div class="authors">Zhi Lu, Yang Hu, Bing Zeng</div><div class="details">(<a href="0334.pdf">PDF</a> | <a href="/proceedings/2017/334">  Details</a>)</div></div><div id="paper335" class="paper_wrapper"><div class="title">Image Matching via Loopy RNN</div><div class="authors">Donghao Luo, Bingbing Ni, Yichao Yan, Xiaokang Yang</div><div class="details">(<a href="0335.pdf">PDF</a> | <a href="/proceedings/2017/335">  Details</a>)</div></div><div id="paper336" class="paper_wrapper"><div class="title">Tracking the Evolution of Customer Purchase Behavior Segmentation via a Fragmentation-Coagulation Process</div><div class="authors">Ling Luo, Bin Li, Irena Koprinska, Shlomo Berkovsky, Fang Chen</div><div class="details">(<a href="0336.pdf">PDF</a> | <a href="/proceedings/2017/336">  Details</a>)</div></div><div id="paper337" class="paper_wrapper"><div class="title">Adaptive Semi-Supervised Learning with Discriminative Least Squares Regression</div><div class="authors">Minnan Luo, Lingling Zhang, Feiping Nie, Xiaojun Chang, Buyue Qian, Qinghua Zheng</div><div class="details">(<a href="0337.pdf">PDF</a> | <a href="/proceedings/2017/337">  Details</a>)</div></div><div id="paper338" class="paper_wrapper"><div class="title">EigenNet: Towards Fast and Structural Learning of Deep Neural Networks</div><div class="authors">Ping Luo</div><div class="details">(<a href="0338.pdf">PDF</a> | <a href="/proceedings/2017/338">  Details</a>)</div></div><div id="paper339" class="paper_wrapper"><div class="title">Symmetric Non-negative Latent Factor Models for Undirected Large Networks</div><div class="authors">Xin Luo, Ming-Sheng  Shang</div><div class="details">(<a href="0339.pdf">PDF</a> | <a href="/proceedings/2017/339">  Details</a>)</div></div><div id="paper340" class="paper_wrapper"><div class="title">Exploiting High-Order Information in Heterogeneous Multi-Task Feature Learning</div><div class="authors">Yong Luo, Dacheng Tao, Yonggang Wen</div><div class="details">(<a href="0340.pdf">PDF</a> | <a href="/proceedings/2017/340">  Details</a>)</div></div><div id="paper341" class="paper_wrapper"><div class="title">General Heterogeneous Transfer Distance Metric Learning via Knowledge Fragments Transfer</div><div class="authors">Yong Luo, Yonggang Wen, Tongliang Liu, Dacheng Tao</div><div class="details">(<a href="0341.pdf">PDF</a> | <a href="/proceedings/2017/341">  Details</a>)</div></div><div id="paper342" class="paper_wrapper"><div class="title">WALKING WALKing walking: Action Recognition from Action Echoes</div><div class="authors">Qianli Ma, Lifeng Shen, Enhuan Chen, Shuai Tian, Jiabing Wang, Garrison W. Cottrell</div><div class="details">(<a href="0342.pdf">PDF</a> | <a href="/proceedings/2017/342">  Details</a>)</div></div><div id="paper343" class="paper_wrapper"><div class="title">Cross-Domain Recommendation: An Embedding and Mapping Approach</div><div class="authors">Tong Man, Huawei Shen, Xiaolong Jin, Xueqi Cheng</div><div class="details">(<a href="0343.pdf">PDF</a> | <a href="/proceedings/2017/343">  Details</a>)</div></div><div id="paper344" class="paper_wrapper"><div class="title">Count-Based Exploration in Feature Space for Reinforcement Learning</div><div class="authors">Jarryd Martin, Suraj  Narayanan S., Tom Everitt, Marcus Hutter</div><div class="details">(<a href="0344.pdf">PDF</a> | <a href="/proceedings/2017/344">  Details</a>)</div></div><div id="paper345" class="paper_wrapper"><div class="title">Exemplar-centered Supervised Shallow Parametric Data Embedding</div><div class="authors">Martin Renqiang Min, Hongyu Guo, Dongjin Song</div><div class="details">(<a href="0345.pdf">PDF</a> | <a href="/proceedings/2017/345">  Details</a>)</div></div><div id="paper346" class="paper_wrapper"><div class="title">Logistic Markov Decision Processes</div><div class="authors">Martin Mladenov, Craig Boutilier, Dale Schuurmans, Ofer Meshi, Gal Elidan, Tyler Lu</div><div class="details">(<a href="0346.pdf">PDF</a> | <a href="/proceedings/2017/346">  Details</a>)</div></div><div id="paper347" class="paper_wrapper"><div class="title">Beyond the Nystrom Approximation: Speeding up Spectral Clustering using Uniform Sampling and Weighted Kernel k-means</div><div class="authors">Mahesh Mohan, Claire Monteleoni</div><div class="details">(<a href="0347.pdf">PDF</a> | <a href="/proceedings/2017/347">  Details</a>)</div></div><div id="paper348" class="paper_wrapper"><div class="title">Rescale-Invariant SVM for Binary Classification</div><div class="authors">Mojtaba Montazery, Nic Wilson</div><div class="details">(<a href="0348.pdf">PDF</a> | <a href="/proceedings/2017/348">  Details</a>)</div></div><div id="paper349" class="paper_wrapper"><div class="title">Completely Heterogeneous Transfer Learning with Attention - What And What Not To Transfer</div><div class="authors">Seungwhan Moon, Jaime Carbonell</div><div class="details">(<a href="0349.pdf">PDF</a> | <a href="/proceedings/2017/349">  Details</a>)</div></div><div id="paper350" class="paper_wrapper"><div class="title">Thresholding Bandits with Augmented UCB</div><div class="authors">Subhojyoti Mukherjee, Naveen Kolar Purushothama, Nandan Sudarsanam, Balaraman Ravindran</div><div class="details">(<a href="0350.pdf">PDF</a> | <a href="/proceedings/2017/350">  Details</a>)</div></div><div id="paper351" class="paper_wrapper"><div class="title">Self-Paced Multitask Learning with Shared Knowledge</div><div class="authors">Keerthiram Murugesan, Jaime Carbonell</div><div class="details">(<a href="0351.pdf">PDF</a> | <a href="/proceedings/2017/351">  Details</a>)</div></div><div id="paper352" class="paper_wrapper"><div class="title">Learning Feature Engineering for Classification</div><div class="authors">Fatemeh Nargesian, Horst Samulowitz, Udayan Khurana, Elias B. Khalil, Deepak Turaga</div><div class="details">(<a href="0352.pdf">PDF</a> | <a href="/proceedings/2017/352">  Details</a>)</div></div><div id="paper353" class="paper_wrapper"><div class="title">Autonomous Task Sequencing for Customized Curriculum Design in Reinforcement Learning</div><div class="authors">Sanmit Narvekar, Jivko Sinapov, Peter Stone</div><div class="details">(<a href="0353.pdf">PDF</a> | <a href="/proceedings/2017/353">  Details</a>)</div></div><div id="paper354" class="paper_wrapper"><div class="title">Large-scale Online Kernel Learning with Random Feature Reparameterization</div><div class="authors">Tu Dinh Nguyen, Trung Le, Hung Bui, Dinh Phung</div><div class="details">(<a href="0354.pdf">PDF</a> | <a href="/proceedings/2017/354">  Details</a>)</div></div><div id="paper355" class="paper_wrapper"><div class="title">Discriminative Bayesian Nonparametric Clustering</div><div class="authors">Vu Nguyen, Dinh Phung, Trung Le, Hung Bui</div><div class="details">(<a href="0355.pdf">PDF</a> | <a href="/proceedings/2017/355">  Details</a>)</div></div><div id="paper356" class="paper_wrapper"><div class="title">Joint Capped Norms Minimization for Robust Matrix Recovery</div><div class="authors">Feiping Nie, Zhouyuan Huo, Heng Huang</div><div class="details">(<a href="0356.pdf">PDF</a> | <a href="/proceedings/2017/356">  Details</a>)</div></div><div id="paper357" class="paper_wrapper"><div class="title">Self-weighted Multiview Clustering with Multiple Graphs</div><div class="authors">Feiping Nie, Jing Li, Xuelong Li</div><div class="details">(<a href="0357.pdf">PDF</a> | <a href="/proceedings/2017/357">  Details</a>)</div></div><div id="paper358" class="paper_wrapper"><div class="title">SEVEN: Deep Semi-supervised Verification Networks</div><div class="authors">Vahid Noroozi, Lei Zheng, Sara Bahaadini, Sihong Xie, Philip S. Yu</div><div class="details">(<a href="0358.pdf">PDF</a> | <a href="/proceedings/2017/358">  Details</a>)</div></div><div id="paper359" class="paper_wrapper"><div class="title">Discovering Relevance-Dependent Bicluster Structure from Relational Data</div><div class="authors">Iku Ohama, Takuya Kida, Hiroki Arimura</div><div class="details">(<a href="0359.pdf">PDF</a> | <a href="/proceedings/2017/359">  Details</a>)</div></div><div id="paper360" class="paper_wrapper"><div class="title">Learning Homophily Couplings from Non-IID Data for Joint Feature Selection and Noise-Resilient Outlier Detection</div><div class="authors">Guansong Pang, Longbing Cao, Ling Chen, Huan Liu</div><div class="details">(<a href="0360.pdf">PDF</a> | <a href="/proceedings/2017/360">  Details</a>)</div></div><div id="paper361" class="paper_wrapper"><div class="title">Flexible Orthogonal Neighborhood Preserving Embedding</div><div class="authors">Tianji Pang, Feiping Nie, Junwei Han</div><div class="details">(<a href="0361.pdf">PDF</a> | <a href="/proceedings/2017/361">  Details</a>)</div></div><div id="paper362" class="paper_wrapper"><div class="title">Boosted Zero-Shot Learning with Semantic Correlation Regularization</div><div class="authors">Te Pi, Xi Li, Zhongfei (Mark) Zhang</div><div class="details">(<a href="0362.pdf">PDF</a> | <a href="/proceedings/2017/362">  Details</a>)</div></div><div id="paper363" class="paper_wrapper"><div class="title">Optimizing Ratio of Monotone Set Functions</div><div class="authors">Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang, Zhi-Hua Zhou</div><div class="details">(<a href="0363.pdf">PDF</a> | <a href="/proceedings/2017/363">  Details</a>)</div></div><div id="paper364" class="paper_wrapper"><div class="title">On Subset Selection with General Cost Constraints</div><div class="authors">Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang</div><div class="details">(<a href="0364.pdf">PDF</a> | <a href="/proceedings/2017/364">  Details</a>)</div></div><div id="paper365" class="paper_wrapper"><div class="title">Improving Stochastic Block Models by Incorporating Power-Law Degree Characteristic</div><div class="authors">Maoying Qiao, Jun Yu, Wei Bian, Qiang Li, Dacheng Tao</div><div class="details">(<a href="0365.pdf">PDF</a> | <a href="/proceedings/2017/365">  Details</a>)</div></div><div id="paper366" class="paper_wrapper"><div class="title">A Dual-Stage Attention-Based Recurrent Neural Network for Time Series Prediction</div><div class="authors">Yao Qin, Dongjin Song, Haifeng Chen, Wei Cheng, Guofei Jiang, Garrison W. Cottrell</div><div class="details">(<a href="0366.pdf">PDF</a> | <a href="/proceedings/2017/366">  Details</a>)</div></div><div id="paper367" class="paper_wrapper"><div class="title">Stacking With Auxiliary Features</div><div class="authors">Nazneen Fatema Rajani, Raymond J. Mooney</div><div class="details">(<a href="0367.pdf">PDF</a> | <a href="/proceedings/2017/367">  Details</a>)</div></div><div id="paper368" class="paper_wrapper"><div class="title">Robust Softmax Regression for Multi-class Classification with Self-Paced Learning</div><div class="authors">Yazhou Ren, Peng Zhao, Yongpan Sheng, Dezhong Yao, Zenglin Xu</div><div class="details">(<a href="0368.pdf">PDF</a> | <a href="/proceedings/2017/368">  Details</a>)</div></div><div id="paper369" class="paper_wrapper"><div class="title">Sense Beauty by Label Distribution Learning</div><div class="authors">Yi Ren, Xin Geng</div><div class="details">(<a href="0369.pdf">PDF</a> | <a href="/proceedings/2017/369">  Details</a>)</div></div><div id="paper370" class="paper_wrapper"><div class="title">Distributed Accelerated Proximal Coordinate Gradient Methods</div><div class="authors">Yong Ren, Jun Zhu</div><div class="details">(<a href="0370.pdf">PDF</a> | <a href="/proceedings/2017/370">  Details</a>)</div></div><div id="paper371" class="paper_wrapper"><div class="title">Right for the Right Reasons: Training Differentiable Models by Constraining their Explanations</div><div class="authors">Andrew Slavin Ross, Michael C. Hughes, Finale Doshi-Velez</div><div class="details">(<a href="0371.pdf">PDF</a> | <a href="/proceedings/2017/371">  Details</a>)</div></div></div><div class="subsection" id="subsection5"><div class="subsection_title">Machine Learning S-Z</div><div id="paper372" class="paper_wrapper"><div class="title">See without looking: joint visualization of sensitive multi-site datasets</div><div class="authors">Debbrata K. Saha, Vince D. Calhoun, Sandeep R. Panta, Sergey M. Plis</div><div class="details">(<a href="0372.pdf">PDF</a> | <a href="/proceedings/2017/372">  Details</a>)</div></div><div id="paper373" class="paper_wrapper"><div class="title">LMPP: A Large Margin Point Process Combining Reinforcement and Competition for Modeling Hashtag Popularity</div><div class="authors">Bidisha Samanta, Abir De, Abhijnan Chakraborty, Niloy Ganguly</div><div class="details">(<a href="0373.pdf">PDF</a> | <a href="/proceedings/2017/373">  Details</a>)</div></div><div id="paper374" class="paper_wrapper"><div class="title">Convolutional-Match Networks for Question Answering</div><div class="authors">Spyridon Samothrakis, Tom Vodopivec, Michael Fairbank, Maria Fasli</div><div class="details">(<a href="0374.pdf">PDF</a> | <a href="/proceedings/2017/374">  Details</a>)</div></div><div id="paper375" class="paper_wrapper"><div class="title">Locally Consistent Bayesian Network Scores for Multi-Relational Data</div><div class="authors">Oliver Schulte, Sajjad Gholami</div><div class="details">(<a href="0375.pdf">PDF</a> | <a href="/proceedings/2017/375">  Details</a>)</div></div><div id="paper376" class="paper_wrapper"><div class="title">Compressed Nonparametric Language Modelling</div><div class="authors">Ehsan Shareghi, Gholamreza  Haffari, Trevor Cohn</div><div class="details">(<a href="0376.pdf">PDF</a> | <a href="/proceedings/2017/376">  Details</a>)</div></div><div id="paper377" class="paper_wrapper"><div class="title">Learning Multi-level Region Consistency with Dense Multi-label Networks for Semantic Segmentation</div><div class="authors">Tong Shen, Guosheng Lin, Chunhua Shen, Ian Reid</div><div class="details">(<a href="0377.pdf">PDF</a> | <a href="/proceedings/2017/377">  Details</a>)</div></div><div id="paper378" class="paper_wrapper"><div class="title">Accelerated Doubly Stochastic Gradient Algorithm for Large-scale Empirical Risk Minimization</div><div class="authors">Zebang Shen, Hui Qian, Tongzhou Mu, Chao Zhang</div><div class="details">(<a href="0378.pdf">PDF</a> | <a href="/proceedings/2017/378">  Details</a>)</div></div><div id="paper379" class="paper_wrapper"><div class="title">Learning with Previously Unseen Features</div><div class="authors">Yuan Shi, Craig A. Knoblock</div><div class="details">(<a href="0379.pdf">PDF</a> | <a href="/proceedings/2017/379">  Details</a>)</div></div><div id="paper380" class="paper_wrapper"><div class="title">Learning Hedonic Games</div><div class="authors">Jakub Sliwinski, Yair Zick</div><div class="details">(<a href="0380.pdf">PDF</a> | <a href="/proceedings/2017/380">  Details</a>)</div></div><div id="paper381" class="paper_wrapper"><div class="title">Hierarchical LSTM with Adjusted Temporal Attention for Video Captioning</div><div class="authors">Jingkuan Song, Lianli Gao, Zhao Guo, Wu Liu, Dongxiang Zhang, Heng Tao Shen</div><div class="details">(<a href="0381.pdf">PDF</a> | <a href="/proceedings/2017/381">  Details</a>)</div></div><div id="paper382" class="paper_wrapper"><div class="title">Recommendation vs Sentiment Analysis: A Text-Driven Latent Factor Model for Rating Prediction with Cold-Start Awareness</div><div class="authors">Kaisong Song, Wei Gao, Shi Feng, Daling Wang, Kam-Fai Wong, Chengqi Zhang</div><div class="details">(<a href="0382.pdf">PDF</a> | <a href="/proceedings/2017/382">  Details</a>)</div></div><div id="paper383" class="paper_wrapper"><div class="title">Two dimensional Large Margin Nearest Neighbor for Matrix Classification</div><div class="authors">Kun Song, Feiping Nie, Junwei Han</div><div class="details">(<a href="0383.pdf">PDF</a> | <a href="/proceedings/2017/383">  Details</a>)</div></div><div id="paper384" class="paper_wrapper"><div class="title">Fast Sparse Gaussian Markov Random Fields Learning Based on Cholesky Factorization</div><div class="authors">Ivan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic, Zoran Obradovic</div><div class="details">(<a href="0384.pdf">PDF</a> | <a href="/proceedings/2017/384">  Details</a>)</div></div><div id="paper385" class="paper_wrapper"><div class="title">End-to-end optimization of goal-driven and visually grounded dialogue systems</div><div class="authors">Florian Strub, Harm de Vries, Jérémie Mary, Bilal Piot, Aaron Courville, Olivier Pietquin</div><div class="details">(<a href="0385.pdf">PDF</a> | <a href="/proceedings/2017/385">  Details</a>)</div></div><div id="paper386" class="paper_wrapper"><div class="title">Forecast the Plausible Paths in Crowd Scenes</div><div class="authors">Hang Su, Jun Zhu, Yinpeng Dong, Bo Zhang</div><div class="details">(<a href="0386.pdf">PDF</a> | <a href="/proceedings/2017/386">  Details</a>)</div></div><div id="paper387" class="paper_wrapper"><div class="title">Vertex-Weighted Hypergraph Learning for Multi-View Object Classification</div><div class="authors">Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun</div><div class="details">(<a href="0387.pdf">PDF</a> | <a href="/proceedings/2017/387">  Details</a>)</div></div><div id="paper388" class="paper_wrapper"><div class="title">Deep Supervised Hashing with Nonlinear Projections</div><div class="authors">Sen Su, Gang Chen, Xiang Cheng, Rong Bi</div><div class="details">(<a href="0388.pdf">PDF</a> | <a href="/proceedings/2017/388">  Details</a>)</div></div><div id="paper389" class="paper_wrapper"><div class="title">Correlational Dueling Bandits with Application to Clinical Treatment in Large Decision Spaces</div><div class="authors">Yanan Sui, Joel W. Burdick</div><div class="details">(<a href="0389.pdf">PDF</a> | <a href="/proceedings/2017/389">  Details</a>)</div></div><div id="paper390" class="paper_wrapper"><div class="title">CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis</div><div class="authors">Adam Summerville, Joseph Osborn, Michael Mateas</div><div class="details">(<a href="0390.pdf">PDF</a> | <a href="/proceedings/2017/390">  Details</a>)</div></div><div id="paper391" class="paper_wrapper"><div class="title">MRLR: Multi-level Representation Learning for Personalized Ranking in Recommendation</div><div class="authors">Zhu Sun, Jie  Yang, Jie Zhang, Alessandro Bozzon, Yu Chen, Chi Xu</div><div class="details">(<a href="0391.pdf">PDF</a> | <a href="/proceedings/2017/391">  Details</a>)</div></div><div id="paper392" class="paper_wrapper"><div class="title">Bayesian Dynamic Mode Decomposition</div><div class="authors">Naoya Takeishi, Yoshinobu Kawahara, Yasuo Tabei, Takehisa Yairi</div><div class="details">(<a href="0392.pdf">PDF</a> | <a href="/proceedings/2017/392">  Details</a>)</div></div><div id="paper393" class="paper_wrapper"><div class="title">Student-t Process Regression with Student-t Likelihood</div><div class="authors">Qingtao Tang, Li Niu, Yisen Wang, Tao Dai, Wangpeng An, Jianfei Cai, Shu-Tao Xia</div><div class="details">(<a href="0393.pdf">PDF</a> | <a href="/proceedings/2017/393">  Details</a>)</div></div><div id="paper394" class="paper_wrapper"><div class="title">Robust Survey Aggregation with Student-t Distribution and Sparse Representation</div><div class="authors">Qingtao Tang, Tao Dai, Li Niu, Yisen Wang, Shu-Tao Xia, Jianfei Cai</div><div class="details">(<a href="0394.pdf">PDF</a> | <a href="/proceedings/2017/394">  Details</a>)</div></div><div id="paper395" class="paper_wrapper"><div class="title">Inverse Covariance Estimation with Structured Groups</div><div class="authors">Shaozhe Tao, Yifan Sun, Daniel Boley</div><div class="details">(<a href="0395.pdf">PDF</a> | <a href="/proceedings/2017/395">  Details</a>)</div></div><div id="paper396" class="paper_wrapper"><div class="title">From Ensemble Clustering to Multi-View Clustering</div><div class="authors">Zhiqiang Tao, Hongfu Liu, Sheng Li, Zhengming  Ding, Yun Fu</div><div class="details">(<a href="0396.pdf">PDF</a> | <a href="/proceedings/2017/396">  Details</a>)</div></div><div id="paper397" class="paper_wrapper"><div class="title">Retaining Data from Streams of Social Platforms with Minimal Regret</div><div class="authors">Nguyen Thanh Tam, Matthias Weidlich, Duong Chi Thang, Hongzhi Yin, Nguyen Quoc Viet Hung</div><div class="details">(<a href="0397.pdf">PDF</a> | <a href="/proceedings/2017/397">  Details</a>)</div></div><div id="paper398" class="paper_wrapper"><div class="title">Disambiguating Energy Disaggregation: A Collective Probabilistic Approach</div><div class="authors">Sabina Tomkins, Jay Pujara, Lise Getoor</div><div class="details">(<a href="0398.pdf">PDF</a> | <a href="/proceedings/2017/398">  Details</a>)</div></div><div id="paper399" class="paper_wrapper"><div class="title">TransNet: Translation-Based Network Representation Learning for Social Relation Extraction</div><div class="authors">Cunchao Tu, Zhengyan Zhang, Zhiyuan Liu, Maosong Sun</div><div class="details">(<a href="0399.pdf">PDF</a> | <a href="/proceedings/2017/399">  Details</a>)</div></div><div id="paper400" class="paper_wrapper"><div class="title">COBRA: A Fast and Simple Method for Active Clustering with Pairwise Constraints</div><div class="authors">Toon Van Craenendonck, Sebastijan Dumancic, Hendrik Blockeel</div><div class="details">(<a href="0400.pdf">PDF</a> | <a href="/proceedings/2017/400">  Details</a>)</div></div><div id="paper401" class="paper_wrapper"><div class="title">Scaling Active Search using Linear Similarity Functions</div><div class="authors">Sibi Venkatesan, James K. Miller, Jeff Schneider, Artur Dubrawski</div><div class="details">(<a href="0401.pdf">PDF</a> | <a href="/proceedings/2017/401">  Details</a>)</div></div><div id="paper402" class="paper_wrapper"><div class="title">Sifting Common Information from Many Variables</div><div class="authors">Greg Ver Steeg, Shuyang Gao, Kyle Reing, Aram Galstyan</div><div class="details">(<a href="0402.pdf">PDF</a> | <a href="/proceedings/2017/402">  Details</a>)</div></div><div id="paper403" class="paper_wrapper"><div class="title">Locality Preserving Projections for Grassmann manifold</div><div class="authors">Boyue Wang, Yongli Hu, Junbin Gao, Yanfeng Sun, Haoran Chen, Muhammad Ali, Baocai Yin</div><div class="details">(<a href="0403.pdf">PDF</a> | <a href="/proceedings/2017/403">  Details</a>)</div></div><div id="paper404" class="paper_wrapper"><div class="title">Tag Disentangled Generative Adversarial Network for Object Image Re-rendering</div><div class="authors">Chaoyue Wang, Chaohui Wang, Chang Xu, Dacheng Tao</div><div class="details">(<a href="0404.pdf">PDF</a> | <a href="/proceedings/2017/404">  Details</a>)</div></div><div id="paper405" class="paper_wrapper"><div class="title">Active Learning for Black-Box Semantic Role Labeling with Neural Factors</div><div class="authors">Chenguang Wang, Laura Chiticariu, Yunyao Li</div><div class="details">(<a href="0405.pdf">PDF</a> | <a href="/proceedings/2017/405">  Details</a>)</div></div><div id="paper406" class="paper_wrapper"><div class="title">Combining Knowledge with Deep Convolutional Neural Networks for Short Text Classification</div><div class="authors">Jin Wang, Zhongyuan Wang, Dawei Zhang, Jun Yan</div><div class="details">(<a href="0406.pdf">PDF</a> | <a href="/proceedings/2017/406">  Details</a>)</div></div><div id="paper407" class="paper_wrapper"><div class="title">Multi-Component Nonnegative Matrix Factorization</div><div class="authors">Jing Wang, Feng Tian, Xiao Wang, Hongchuan Yu, Chang Hong Liu, Liang Yang</div><div class="details">(<a href="0407.pdf">PDF</a> | <a href="/proceedings/2017/407">  Details</a>)</div></div><div id="paper408" class="paper_wrapper"><div class="title">Convolutional 2D LDA for Nonlinear Dimensionality Reduction</div><div class="authors">Qi Wang, Zequn Qin, Feiping Nie, Yuan Yuan</div><div class="details">(<a href="0408.pdf">PDF</a> | <a href="/proceedings/2017/408">  Details</a>)</div></div><div id="paper409" class="paper_wrapper"><div class="title">Angle Principal Component Analysis</div><div class="authors">Qianqian Wang, Quanxue Gao, Xinbo Gao, Feiping Nie</div><div class="details">(<a href="0409.pdf">PDF</a> | <a href="/proceedings/2017/409">  Details</a>)</div></div><div id="paper410" class="paper_wrapper"><div class="title">Instance-Level Label Propagation with Multi-Instance Learning</div><div class="authors">Qifan Wang, Gal Chechik, Chen Sun, Bin Shen</div><div class="details">(<a href="0410.pdf">PDF</a> | <a href="/proceedings/2017/410">  Details</a>)</div></div><div id="paper411" class="paper_wrapper"><div class="title">A Sequence Labeling Convolutional Network and Its Application to Handwritten String Recognition</div><div class="authors">Qingqing Wang, Yue Lu</div><div class="details">(<a href="0411.pdf">PDF</a> | <a href="/proceedings/2017/411">  Details</a>)</div></div><div id="paper412" class="paper_wrapper"><div class="title">Interactive Image Segmentation via Pairwise Likelihood Learning</div><div class="authors">Tao Wang, Quansen Sun, Qi Ge, Zexuan Ji, Qiang Chen, Guiyu Xia</div><div class="details">(<a href="0412.pdf">PDF</a> | <a href="/proceedings/2017/412">  Details</a>)</div></div><div id="paper413" class="paper_wrapper"><div class="title">Obtaining High-Quality Label by Distinguishing between Easy and Hard Items in Crowdsourcing</div><div class="authors">Wei Wang, Xiang-Yu Guo, Shao-Yuan Li, Yuan Jiang, Zhi-Hua Zhou</div><div class="details">(<a href="0413.pdf">PDF</a> | <a href="/proceedings/2017/413">  Details</a>)</div></div><div id="paper414" class="paper_wrapper"><div class="title">Multiple Medoids based Multi-view Relational Fuzzy Clustering with Minimax Optimization</div><div class="authors">Yangtao Wang, Lihui Chen, Xiao-Li Li</div><div class="details">(<a href="0414.pdf">PDF</a> | <a href="/proceedings/2017/414">  Details</a>)</div></div><div id="paper415" class="paper_wrapper"><div class="title">App Download Forecasting: An Evolutionary Hierarchical Competition Approach</div><div class="authors">Yingzi Wang, Nicholas Jing Yuan, Yu Sun, Chuan Qin, Xing Xie</div><div class="details">(<a href="0415.pdf">PDF</a> | <a href="/proceedings/2017/415">  Details</a>)</div></div><div id="paper416" class="paper_wrapper"><div class="title">Cascade Dynamics Modeling with Attention-based Recurrent Neural Network</div><div class="authors">Yongqing Wang, Huawei Shen, Shenghua Liu, Jinhua Gao, Xueqi Cheng</div><div class="details">(<a href="0416.pdf">PDF</a> | <a href="/proceedings/2017/416">  Details</a>)</div></div><div id="paper417" class="paper_wrapper"><div class="title">Fast Change Point Detection on Dynamic Social Networks</div><div class="authors">Yu Wang, Aniket Chakrabarti, David Sivakoff, Srinivasan Parthasarathy</div><div class="details">(<a href="0417.pdf">PDF</a> | <a href="/proceedings/2017/417">  Details</a>)</div></div><div id="paper418" class="paper_wrapper"><div class="title">Multiple Kernel Clustering Framework with Improved Kernels</div><div class="authors">Yueqing Wang, Xinwang Liu, Yong Dou, Rongchun Li</div><div class="details">(<a href="0418.pdf">PDF</a> | <a href="/proceedings/2017/418">  Details</a>)</div></div><div id="paper419" class="paper_wrapper"><div class="title">Approximate Large-scale Multiple Kernel k-means Using Deep Neural Network</div><div class="authors">Yueqing Wang, Xinwang Liu, Yong Dou, Rongchun Li</div><div class="details">(<a href="0419.pdf">PDF</a> | <a href="/proceedings/2017/419">  Details</a>)</div></div><div id="paper420" class="paper_wrapper"><div class="title">On Gleaning Knowledge from Multiple Domains for Active Learning</div><div class="authors">Zengmao Wang, Bo Du, Lefei Zhang, Liangpei Zhang, Ruimin Hu, Dacheng Tao</div><div class="details">(<a href="0420.pdf">PDF</a> | <a href="/proceedings/2017/420">  Details</a>)</div></div><div id="paper421" class="paper_wrapper"><div class="title">Doubly Sparsifying Network</div><div class="authors">Zhangyang Wang, Shuai Huang, Jiayu Zhou, Thomas S. Huang</div><div class="details">(<a href="0421.pdf">PDF</a> | <a href="/proceedings/2017/421">  Details</a>)</div></div><div id="paper422" class="paper_wrapper"><div class="title">Improving Reinforcement Learning with Confidence-Based Demonstrations</div><div class="authors">Zhaodong Wang, Matthew E. Taylor</div><div class="details">(<a href="0422.pdf">PDF</a> | <a href="/proceedings/2017/422">  Details</a>)</div></div><div id="paper423" class="paper_wrapper"><div class="title">Supervised Deep Features for Software Functional Clone Detection by Exploiting Lexical and Syntactical Information in Source Code</div><div class="authors">Huihui Wei, Ming Li</div><div class="details">(<a href="0423.pdf">PDF</a> | <a href="/proceedings/2017/423">  Details</a>)</div></div><div id="paper424" class="paper_wrapper"><div class="title">Group-wise Deep Co-saliency Detection</div><div class="authors">Lina Wei, Shanshan Zhao, Omar El Farouk Bourahla, Xi Li, Fei Wu</div><div class="details">(<a href="0424.pdf">PDF</a> | <a href="/proceedings/2017/424">  Details</a>)</div></div><div id="paper425" class="paper_wrapper"><div class="title">Deep Descriptor Transforming for Image Co-Localization</div><div class="authors">Xiu-Shen Wei, Chen-Lin Zhang, Yao Li, Chen-Wei Xie, Jianxin Wu, Chunhua Shen, Zhi-Hua Zhou</div><div class="details">(<a href="0425.pdf">PDF</a> | <a href="/proceedings/2017/425">  Details</a>)</div></div><div id="paper426" class="paper_wrapper"><div class="title">Learning from Demonstrations with High-Level Side Information</div><div class="authors">Min Wen, Ivan Papusha, Ufuk Topcu</div><div class="details">(<a href="0426.pdf">PDF</a> | <a href="/proceedings/2017/426">  Details</a>)</div></div><div id="paper427" class="paper_wrapper"><div class="title">Sequential Prediction of Social Media Popularity with Deep Temporal Context Networks</div><div class="authors">Bo Wu, Wen-Huang Cheng, Yongdong Zhang, Qiushi Huang, Jintao Li, Tao Mei</div><div class="details">(<a href="0427.pdf">PDF</a> | <a href="/proceedings/2017/427">  Details</a>)</div></div><div id="paper428" class="paper_wrapper"><div class="title">Discriminant Tensor Dictionary Learning with Neighbor Uncorrelation for Image Set Based Classification</div><div class="authors">Fei Wu, Xiao-Yuan Jing, Wangmeng Zuo, Ruiping Wang, Xiaoke Zhu</div><div class="details">(<a href="0428.pdf">PDF</a> | <a href="/proceedings/2017/428">  Details</a>)</div></div><div id="paper429" class="paper_wrapper"><div class="title">Unsupervised Deep Video Hashing with Balanced Rotation</div><div class="authors">Gengshen Wu, Li Liu, Yuchen Guo, Guiguang Ding, Jungong Han, Jialie Shen, Ling Shao</div><div class="details">(<a href="0429.pdf">PDF</a> | <a href="/proceedings/2017/429">  Details</a>)</div></div><div id="paper430" class="paper_wrapper"><div class="title">Modeling Trajectories with Recurrent Neural Networks</div><div class="authors">Hao Wu, Ziyang Chen, Weiwei Sun, Baihua Zheng, Wei Wang</div><div class="details">(<a href="0430.pdf">PDF</a> | <a href="/proceedings/2017/430">  Details</a>)</div></div><div id="paper431" class="paper_wrapper"><div class="title">Deep Context: A Neural Language Model for Large-scale Networked Documents</div><div class="authors">Hao Wu, Kristina Lerman</div><div class="details">(<a href="0431.pdf">PDF</a> | <a href="/proceedings/2017/431">  Details</a>)</div></div><div id="paper432" class="paper_wrapper"><div class="title">Sequence Prediction with Unlabeled Data by Reward Function Learning</div><div class="authors">Lijun Wu, Li Zhao, Tao Qin, Jianhuang Lai, Tie-Yan Liu</div><div class="details">(<a href="0432.pdf">PDF</a> | <a href="/proceedings/2017/432">  Details</a>)</div></div><div id="paper433" class="paper_wrapper"><div class="title">Query-Driven Discovery of Anomalous Subgraphs in Attributed Graphs</div><div class="authors">Nannan Wu, Feng Chen, Jianxin Li, Jinpeng Huai, Bo Li</div><div class="details">(<a href="0433.pdf">PDF</a> | <a href="/proceedings/2017/433">  Details</a>)</div></div><div id="paper434" class="paper_wrapper"><div class="title">Dual Inference for Machine Learning</div><div class="authors">Yingce Xia, Jiang Bian, Tao Qin, Nenghai Yu, Tie-Yan Liu</div><div class="details">(<a href="0434.pdf">PDF</a> | <a href="/proceedings/2017/434">  Details</a>)</div></div><div id="paper435" class="paper_wrapper"><div class="title">Attentional Factorization Machines: Learning the Weight of Feature Interactions via Attention Networks</div><div class="authors">Jun Xiao, Hao Ye, Xiangnan He, Hanwang Zhang, Fei Wu, Tat-Seng Chua</div><div class="details">(<a href="0435.pdf">PDF</a> | <a href="/proceedings/2017/435">  Details</a>)</div></div><div id="paper436" class="paper_wrapper"><div class="title">SVD-free Convex-Concave Approaches for Nuclear Norm Regularization</div><div class="authors">Yichi Xiao, Zhe Li, Tianbao Yang, Lijun Zhang</div><div class="details">(<a href="0436.pdf">PDF</a> | <a href="/proceedings/2017/436">  Details</a>)</div></div><div id="paper437" class="paper_wrapper"><div class="title">Dynamic Multi-View Hashing for Online Image Retrieval</div><div class="authors">Liang Xie, Jialie Shen, Jungong Han, Lei Zhu, Ling Shao</div><div class="details">(<a href="0437.pdf">PDF</a> | <a href="/proceedings/2017/437">  Details</a>)</div></div><div id="paper438" class="paper_wrapper"><div class="title">Image-embodied Knowledge Representation Learning</div><div class="authors">Ruobing Xie, Zhiyuan Liu, Huanbo Luan, Maosong Sun</div><div class="details">(<a href="0438.pdf">PDF</a> | <a href="/proceedings/2017/438">  Details</a>)</div></div><div id="paper439" class="paper_wrapper"><div class="title">Linear Manifold Regularization with Adaptive Graph for Semi-supervised Dimensionality Reduction</div><div class="authors">Kai Xiong, Feiping Nie, Junwei Han</div><div class="details">(<a href="0439.pdf">PDF</a> | <a href="/proceedings/2017/439">  Details</a>)</div></div><div id="paper440" class="paper_wrapper"><div class="title">Multi-Class Support Vector Machine via Maximizing Multi-Class Margins</div><div class="authors">Jie Xu, Xianglong Liu, Zhouyuan Huo, Cheng Deng, Feiping Nie, Heng Huang</div><div class="details">(<a href="0440.pdf">PDF</a> | <a href="/proceedings/2017/440">  Details</a>)</div></div><div id="paper441" class="paper_wrapper"><div class="title">Multi-view Feature Learning with Discriminative Regularization</div><div class="authors">Jinglin Xu, Junwei Han, Feiping Nie</div><div class="details">(<a href="0441.pdf">PDF</a> | <a href="/proceedings/2017/441">  Details</a>)</div></div><div id="paper442" class="paper_wrapper"><div class="title">Feature Selection via Scaling Factor Integrated Multi-Class Support Vector Machines</div><div class="authors">Jinglin Xu, Feiping Nie, Junwei Han</div><div class="details">(<a href="0442.pdf">PDF</a> | <a href="/proceedings/2017/442">  Details</a>)</div></div><div id="paper443" class="paper_wrapper"><div class="title">Incomplete Label Distribution Learning</div><div class="authors">Miao Xu, Zhi-Hua Zhou</div><div class="details">(<a href="0443.pdf">PDF</a> | <a href="/proceedings/2017/443">  Details</a>)</div></div><div id="paper444" class="paper_wrapper"><div class="title">Multi-Positive and Unlabeled Learning</div><div class="authors">Yixing Xu, Chang Xu, Chao Xu, Dacheng Tao</div><div class="details">(<a href="0444.pdf">PDF</a> | <a href="/proceedings/2017/444">  Details</a>)</div></div><div id="paper445" class="paper_wrapper"><div class="title">Stochastic Online Anomaly Analysis for Streaming Time Series</div><div class="authors">Zhao Xu, Kristian Kersting, Lorenzo von Ritter</div><div class="details">(<a href="0445.pdf">PDF</a> | <a href="/proceedings/2017/445">  Details</a>)</div></div><div id="paper446" class="paper_wrapper"><div class="title">Tag-Aware Personalized Recommendation Using a Hybrid Deep Model</div><div class="authors">Zhenghua Xu, Thomas Lukasiewicz, Cheng Chen, Yishu Miao, Xiangwu Meng</div><div class="details">(<a href="0446.pdf">PDF</a> | <a href="/proceedings/2017/446">  Details</a>)</div></div><div id="paper447" class="paper_wrapper"><div class="title">Deep Matrix Factorization Models for Recommender Systems</div><div class="authors">Hong-Jian Xue, Xinyu Dai, Jianbing Zhang, Shujian Huang, Jiajun Chen</div><div class="details">(<a href="0447.pdf">PDF</a> | <a href="/proceedings/2017/447">  Details</a>)</div></div><div id="paper448" class="paper_wrapper"><div class="title">Multiple Indefinite Kernel Learning for Feature Selection</div><div class="authors">Hui Xue, Yu Song, Hai-Ming Xu</div><div class="details">(<a href="0448.pdf">PDF</a> | <a href="/proceedings/2017/448">  Details</a>)</div></div><div id="paper449" class="paper_wrapper"><div class="title">Tensor Decomposition with Missing Indices</div><div class="authors">Yuto Yamaguchi, Kohei Hayashi</div><div class="details">(<a href="0449.pdf">PDF</a> | <a href="/proceedings/2017/449">  Details</a>)</div></div><div id="paper450" class="paper_wrapper"><div class="title">When Does Label Propagation Fail? A View from a Network Generative Model</div><div class="authors">Yuto Yamaguchi, Kohei Hayashi</div><div class="details">(<a href="0450.pdf">PDF</a> | <a href="/proceedings/2017/450">  Details</a>)</div></div><div id="paper451" class="paper_wrapper"><div class="title">FolkPopularityRank: Tag Recommendation for Enhancing Social Popularity using Text Tags in Content Sharing Services</div><div class="authors">Toshihiko Yamasaki, Jiani Hu, Shumpei Sano, Kiyoharu Aizawa</div><div class="details">(<a href="0451.pdf">PDF</a> | <a href="/proceedings/2017/451">  Details</a>)</div></div><div id="paper452" class="paper_wrapper"><div class="title">Semi-Supervised Deep Hashing with a Bipartite Graph</div><div class="authors">Xinyu Yan, Lijun Zhang, Wu-Jun Li</div><div class="details">(<a href="0452.pdf">PDF</a> | <a href="/proceedings/2017/452">  Details</a>)</div></div><div id="paper453" class="paper_wrapper"><div class="title">Predicting Human Interaction via Relative Attention Model</div><div class="authors">Yichao Yan, Bingbing Ni, Xiaokang Yang</div><div class="details">(<a href="0453.pdf">PDF</a> | <a href="/proceedings/2017/453">  Details</a>)</div></div><div id="paper454" class="paper_wrapper"><div class="title">Learning Discriminative Correlation Subspace for Heterogeneous Domain Adaptation</div><div class="authors">Yuguang Yan, Wen Li, Michael Ng, Mingkui Tan, Hanrui Wu, Huaqing Min, Qingyao Wu</div><div class="details">(<a href="0454.pdf">PDF</a> | <a href="/proceedings/2017/454">  Details</a>)</div></div><div id="paper455" class="paper_wrapper"><div class="title">Life-Stage Modeling by Customer-Manifold Embedding</div><div class="authors">Jing-Wen Yang, Yang Yu, Xiao-Peng Zhang</div><div class="details">(<a href="0455.pdf">PDF</a> | <a href="/proceedings/2017/455">  Details</a>)</div></div><div id="paper456" class="paper_wrapper"><div class="title">Joint Image Emotion Classification and Distribution Learning via Deep Convolutional Neural Network</div><div class="authors">Jufeng Yang, Dongyu She, Ming Sun</div><div class="details">(<a href="0456.pdf">PDF</a> | <a href="/proceedings/2017/456">  Details</a>)</div></div><div id="paper457" class="paper_wrapper"><div class="title">Positive unlabeled learning via wrapper-based adaptive sampling</div><div class="authors">Pengyi Yang, Wei Liu, Jean Yang</div><div class="details">(<a href="0457.pdf">PDF</a> | <a href="/proceedings/2017/457">  Details</a>)</div></div><div id="paper458" class="paper_wrapper"><div class="title">Learning to Read Irregular Text with Attention Mechanisms</div><div class="authors">Xiao Yang, Dafang He, Zihan Zhou, Daniel Kifer, C. Lee Giles</div><div class="details">(<a href="0458.pdf">PDF</a> | <a href="/proceedings/2017/458">  Details</a>)</div></div><div id="paper459" class="paper_wrapper"><div class="title">Modal Consistency based Pre-Trained Multi-Model Reuse</div><div class="authors">Yang Yang, De-Chuan Zhan, Xiang-Yu Guo, Yuan Jiang</div><div class="details">(<a href="0459.pdf">PDF</a> | <a href="/proceedings/2017/459">  Details</a>)</div></div><div id="paper460" class="paper_wrapper"><div class="title">A Robust Noise Resistant Algorithm for POI Identification from Flickr Data</div><div class="authors">Yiyang Yang, Zhiguo Gong, Qing Li, Leong Hou U, Ruichu Cai, Zhifeng Hao</div><div class="details">(<a href="0460.pdf">PDF</a> | <a href="/proceedings/2017/460">  Details</a>)</div></div><div id="paper461" class="paper_wrapper"><div class="title">Multi-Task Deep Reinforcement Learning for Continuous Action Control</div><div class="authors">Zhaoyang Yang, Kathryn Merrick, Hussein Abbass, Lianwen Jin</div><div class="details">(<a href="0461.pdf">PDF</a> | <a href="/proceedings/2017/461">  Details</a>)</div></div><div id="paper462" class="paper_wrapper"><div class="title">Efficient Inexact Proximal Gradient Algorithm for Nonconvex Problems</div><div class="authors">Quanming Yao, James T. Kwok, Fei Gao, Wei Chen, Tie-Yan Liu</div><div class="details">(<a href="0462.pdf">PDF</a> | <a href="/proceedings/2017/462">  Details</a>)</div></div><div id="paper463" class="paper_wrapper"><div class="title">Learning Mahalanobis Distance Metric: Considering Instance Disturbance Helps</div><div class="authors">Han-Jia Ye, De-Chuan Zhan, Xue-Min Si, Yuan Jiang</div><div class="details">(<a href="0463.pdf">PDF</a> | <a href="/proceedings/2017/463">  Details</a>)</div></div><div id="paper464" class="paper_wrapper"><div class="title">A Deep Neural Network for Chinese Zero Pronoun Resolution</div><div class="authors">Qingyu Yin, Weinan Zhang, Yu Zhang, Ting Liu</div><div class="details">(<a href="0464.pdf">PDF</a> | <a href="/proceedings/2017/464">  Details</a>)</div></div><div id="paper465" class="paper_wrapper"><div class="title">Learning Co-Substructures by Kernel Dependence Maximization</div><div class="authors">Sho Yokoi, Daichi Mochihashi, Ryo Takahashi, Naoaki Okazaki, Kentaro Inui</div><div class="details">(<a href="0465.pdf">PDF</a> | <a href="/proceedings/2017/465">  Details</a>)</div></div><div id="paper466" class="paper_wrapper"><div class="title">Privileged Multi-label Learning</div><div class="authors">Shan You, Chang Xu, Yunhe Wang, Chao Xu, Dacheng Tao</div><div class="details">(<a href="0466.pdf">PDF</a> | <a href="/proceedings/2017/466">  Details</a>)</div></div><div id="paper467" class="paper_wrapper"><div class="title">Link Prediction with Spatial and Temporal Consistency in Dynamic Networks</div><div class="authors">Wenchao Yu, Wei Cheng, Charu C Aggarwal, Haifeng Chen, Wei Wang</div><div class="details">(<a href="0467.pdf">PDF</a> | <a href="/proceedings/2017/467">  Details</a>)</div></div><div id="paper468" class="paper_wrapper"><div class="title">Single-Pass PCA of Large High-Dimensional Data</div><div class="authors">Wenjian Yu, Yu Gu, Jian Li, Shenghua Liu, Yaohang Li</div><div class="details">(<a href="0468.pdf">PDF</a> | <a href="/proceedings/2017/468">  Details</a>)</div></div><div id="paper469" class="paper_wrapper"><div class="title">Open Category Classification by Adversarial Sample Generation</div><div class="authors">Yang Yu, Wei-Yang Qu, Nan Li, Zimin Guo</div><div class="details">(<a href="0469.pdf">PDF</a> | <a href="/proceedings/2017/469">  Details</a>)</div></div><div id="paper470" class="paper_wrapper"><div class="title">Fast Stochastic Variance Reduced ADMM for Stochastic Composition Optimization</div><div class="authors">Yue Yu, Longbo Huang</div><div class="details">(<a href="0470.pdf">PDF</a> | <a href="/proceedings/2017/470">  Details</a>)</div></div><div id="paper471" class="paper_wrapper"><div class="title">Deep-dense Conditional Random Fields for Object Co-segmentation</div><div class="authors">Zehuan Yuan, Tong Lu, Yirui Wu</div><div class="details">(<a href="0471.pdf">PDF</a> | <a href="/proceedings/2017/471">  Details</a>)</div></div><div id="paper472" class="paper_wrapper"><div class="title">User Profile Preserving Social Network Embedding</div><div class="authors">Daokun Zhang, Jie Yin, Xingquan Zhu, Chengqi Zhang</div><div class="details">(<a href="0472.pdf">PDF</a> | <a href="/proceedings/2017/472">  Details</a>)</div></div><div id="paper473" class="paper_wrapper"><div class="title">A Generalized Recurrent Neural Architecture for Text Classification with Multi-Task Learning</div><div class="authors">Honglun Zhang, Liqiang Xiao, Yongkun Wang, Yaohui Jin</div><div class="details">(<a href="0473.pdf">PDF</a> | <a href="/proceedings/2017/473">  Details</a>)</div></div><div id="paper474" class="paper_wrapper"><div class="title">ME-MD: An Effective Framework for Neural Machine Translation with Multiple Encoders and Decoders</div><div class="authors">Jinchao Zhang, Qun  Liu, Jie Zhou</div><div class="details">(<a href="0474.pdf">PDF</a> | <a href="/proceedings/2017/474">  Details</a>)</div></div><div id="paper475" class="paper_wrapper"><div class="title">Adaptive Manifold Regularized Matrix Factorization for Data Clustering</div><div class="authors">Lefei Zhang, Qian Zhang, Bo Du, Jane You, Dacheng Tao</div><div class="details">(<a href="0475.pdf">PDF</a> | <a href="/proceedings/2017/475">  Details</a>)</div></div><div id="paper476" class="paper_wrapper"><div class="title">Adaptively Unified Semi-supervised Learning for Cross-Modal Retrieval</div><div class="authors">Liang Zhang, Bingpeng Ma, Jianfeng He, Guorong Li, Qingming Huang, Qi Tian</div><div class="details">(<a href="0476.pdf">PDF</a> | <a href="/proceedings/2017/476">  Details</a>)</div></div><div id="paper477" class="paper_wrapper"><div class="title">DRLnet: Deep Difference Representation Learning Network and An Unsupervised Optimization Framework</div><div class="authors">Puzhao Zhang, Maoguo Gong, Hui Zhang, Jia Liu</div><div class="details">(<a href="0477.pdf">PDF</a> | <a href="/proceedings/2017/477">  Details</a>)</div></div><div id="paper478" class="paper_wrapper"><div class="title">Hashtag Recommendation for Multimodal Microblog Using Co-Attention Network</div><div class="authors">Qi Zhang, Jiawen Wang, Haoran Huang, Xuanjing Huang, Yeyun Gong</div><div class="details">(<a href="0478.pdf">PDF</a> | <a href="/proceedings/2017/478">  Details</a>)</div></div><div id="paper479" class="paper_wrapper"><div class="title">Global-residual and Local-boundary Refinement Networks for Rectifying Scene Parsing Predictions</div><div class="authors">Rui Zhang, Sheng Tang, Min Lin, Jintao Li, Shuicheng Yan</div><div class="details">(<a href="0479.pdf">PDF</a> | <a href="/proceedings/2017/479">  Details</a>)</div></div><div id="paper480" class="paper_wrapper"><div class="title">Robust Regression via Heuristic Hard Thresholding</div><div class="authors">Xuchao Zhang, Liang Zhao, Arnold P. Boedihardjo, Chang-Tien Lu</div><div class="details">(<a href="0480.pdf">PDF</a> | <a href="/proceedings/2017/480">  Details</a>)</div></div><div id="paper481" class="paper_wrapper"><div class="title">Multi-Instance Learning with Key Instance Shift</div><div class="authors">Ya-Lin Zhang, Zhi-Hua Zhou</div><div class="details">(<a href="0481.pdf">PDF</a> | <a href="/proceedings/2017/481">  Details</a>)</div></div><div id="paper482" class="paper_wrapper"><div class="title">Multimodal Linear Discriminant Analysis via Structural Sparsity</div><div class="authors">Yu Zhang, Yuan Jiang</div><div class="details">(<a href="0482.pdf">PDF</a> | <a href="/proceedings/2017/482">  Details</a>)</div></div><div id="paper483" class="paper_wrapper"><div class="title">Weighted Double Q-learning</div><div class="authors">Zongzhang Zhang, Zhiyuan Pan, Mykel J. Kochenderfer</div><div class="details">(<a href="0483.pdf">PDF</a> | <a href="/proceedings/2017/483">  Details</a>)</div></div><div id="paper484" class="paper_wrapper"><div class="title">Tensor Based Knowledge Transfer Across Skill Categories for Robot Control</div><div class="authors">Chenyang Zhao, Timothy M. Hospedales, Freek Stulp, Olivier Sigaud</div><div class="details">(<a href="0484.pdf">PDF</a> | <a href="/proceedings/2017/484">  Details</a>)</div></div><div id="paper485" class="paper_wrapper"><div class="title">Learning Discriminative Recommendation Systems with Side Information</div><div class="authors">Feipeng Zhao, Yuhong Guo</div><div class="details">(<a href="0485.pdf">PDF</a> | <a href="/proceedings/2017/485">  Details</a>)</div></div><div id="paper486" class="paper_wrapper"><div class="title">Random Shifting for CNN: a Solution to Reduce Information Loss in Down-Sampling Layers</div><div class="authors">Gangming Zhao, Jingdong Wang, Zhaoxiang Zhang</div><div class="details">(<a href="0486.pdf">PDF</a> | <a href="/proceedings/2017/486">  Details</a>)</div></div><div id="paper487" class="paper_wrapper"><div class="title">Hierarchical Feature Selection with Recursive Regularization</div><div class="authors">Hong Zhao, Pengfei Zhu, Ping Wang, Qinghua Hu</div><div class="details">(<a href="0487.pdf">PDF</a> | <a href="/proceedings/2017/487">  Details</a>)</div></div><div id="paper488" class="paper_wrapper"><div class="title">Deep Optical Flow Estimation Via Multi-Scale Correspondence Structure Learning</div><div class="authors">Shanshan Zhao, Xi Li, Omar El Farouk Bourahla</div><div class="details">(<a href="0488.pdf">PDF</a> | <a href="/proceedings/2017/488">  Details</a>)</div></div><div id="paper489" class="paper_wrapper"><div class="title">ContextCare: Incorporating Contextual Information Networks to Representation Learning on Medical Forum Data</div><div class="authors">Stan Zhao, Meng Jiang, Quan Yuan, Bing Qin, Ting Liu, ChengXiang Zhai</div><div class="details">(<a href="0489.pdf">PDF</a> | <a href="/proceedings/2017/489">  Details</a>)</div></div><div id="paper490" class="paper_wrapper"><div class="title">Deep Multiple Instance Hashing for Object-based Image Retrieval</div><div class="authors">Wanqing Zhao, Ziyu Guan, Hangzai Luo, Jinye Peng, Jianping Fan</div><div class="details">(<a href="0490.pdf">PDF</a> | <a href="/proceedings/2017/490">  Details</a>)</div></div><div id="paper491" class="paper_wrapper"><div class="title">TUCH: Turning Cross-view Hashing into Single-view Hashing via Generative Adversarial Nets</div><div class="authors">Xin Zhao, Guiguang Ding, Yuchen Guo, Jungong Han, Yue Gao</div><div class="details">(<a href="0491.pdf">PDF</a> | <a href="/proceedings/2017/491">  Details</a>)</div></div><div id="paper492" class="paper_wrapper"><div class="title">Video Question Answering via Hierarchical Spatio-Temporal Attention Networks</div><div class="authors">Zhou Zhao, Qifan Yang, Deng Cai, Xiaofei He, Yueting Zhuang</div><div class="details">(<a href="0492.pdf">PDF</a> | <a href="/proceedings/2017/492">  Details</a>)</div></div><div id="paper493" class="paper_wrapper"><div class="title">Link Prediction via Ranking Metric Dual-Level Attention Network Learning</div><div class="authors">Zhou Zhao, Ben Gao, Vincent W. Zheng, Deng Cai, Xiaofei He, Yueting Zhuang</div><div class="details">(<a href="0493.pdf">PDF</a> | <a href="/proceedings/2017/493">  Details</a>)</div></div><div id="paper494" class="paper_wrapper"><div class="title">Microblog Sentiment Classiﬁcation via Recurrent Random Walk Network Learning</div><div class="authors">Zhou Zhao, Hanqing Lu, Deng Cai, Xiaofei He, Yueting Zhuang</div><div class="details">(<a href="0494.pdf">PDF</a> | <a href="/proceedings/2017/494">  Details</a>)</div></div><div id="paper495" class="paper_wrapper"><div class="title">Tensor Completion with Side Information: A Riemannian Manifold Approach</div><div class="authors">Tengfei Zhou, Hui Qian, Zebang Shen, Chao Zhang, Congfu Xu</div><div class="details">(<a href="0495.pdf">PDF</a> | <a href="/proceedings/2017/495">  Details</a>)</div></div><div id="paper496" class="paper_wrapper"><div class="title">Binary Linear Compression for Multi-label Classification</div><div class="authors">Wen-Ji Zhou, Yang Yu, Min-Ling Zhang</div><div class="details">(<a href="0496.pdf">PDF</a> | <a href="/proceedings/2017/496">  Details</a>)</div></div><div id="paper497" class="paper_wrapper"><div class="title">Deep Forest: Towards An Alternative to Deep Neural Networks</div><div class="authors">Zhi-Hua Zhou, Ji Feng</div><div class="details">(<a href="0497.pdf">PDF</a> | <a href="/proceedings/2017/497">  Details</a>)</div></div><div id="paper498" class="paper_wrapper"><div class="title">Diverse Neuron Type Selection for Convolutional Neural Networks</div><div class="authors">Guibo Zhu, Zhaoxiang Zhang, Xu-Yao Zhang, Cheng-Lin Liu</div><div class="details">(<a href="0498.pdf">PDF</a> | <a href="/proceedings/2017/498">  Details</a>)</div></div><div id="paper499" class="paper_wrapper"><div class="title">Locality Constrained Deep Supervised Hashing for Image Retrieval</div><div class="authors">Hao Zhu, Shenghua Gao</div><div class="details">(<a href="0499.pdf">PDF</a> | <a href="/proceedings/2017/499">  Details</a>)</div></div><div id="paper500" class="paper_wrapper"><div class="title">Deep Graphical Feature Learning for Face Sketch Synthesis</div><div class="authors">Mingrui Zhu, Nannan Wang, Xinbo Gao, Jie Li</div><div class="details">(<a href="0500.pdf">PDF</a> | <a href="/proceedings/2017/500">  Details</a>)</div></div><div id="paper501" class="paper_wrapper"><div class="title">Adaptive Hypergraph Learning for Unsupervised Feature Selection</div><div class="authors">Xiaofeng Zhu, Yonghua Zhu, Shichao Zhang, Rongyao Hu, Wei He</div><div class="details">(<a href="0501.pdf">PDF</a> | <a href="/proceedings/2017/501">  Details</a>)</div></div><div id="paper502" class="paper_wrapper"><div class="title">No Learner Left Behind: On the Complexity of Teaching Multiple Learners Simultaneously</div><div class="authors">Xiaojin Zhu, Ji Liu, Manuel Lopes</div><div class="details">(<a href="0502.pdf">PDF</a> | <a href="/proceedings/2017/502">  Details</a>)</div></div><div id="paper503" class="paper_wrapper"><div class="title">Dependency Exploitation: A Unified CNN-RNN Approach for Visual Emotion Recognition</div><div class="authors">Xinge Zhu, Liang Li, Weigang Zhang, Tianrong Rao, Min Xu, Qingming Huang, Dong Xu</div><div class="details">(<a href="0503.pdf">PDF</a> | <a href="/proceedings/2017/503">  Details</a>)</div></div><div id="paper504" class="paper_wrapper"><div class="title">What to Do Next: Modeling User Behaviors by Time-LSTM</div><div class="authors">Yu Zhu, Hao Li, Yikang Liao, Beidou Wang, Ziyu Guan, Haifeng Liu, Deng Cai</div><div class="details">(<a href="0504.pdf">PDF</a> | <a href="/proceedings/2017/504">  Details</a>)</div></div><div id="paper505" class="paper_wrapper"><div class="title">Object Recognition with and without Objects</div><div class="authors">Zhuotun Zhu, Lingxi Xie, Alan Yuille</div><div class="details">(<a href="0505.pdf">PDF</a> | <a href="/proceedings/2017/505">  Details</a>)</div></div><div id="paper506" class="paper_wrapper"><div class="title">Understanding People Lifestyles: Construction of Urban Movement Knowledge Graph from GPS Trajectory</div><div class="authors">Chenyi Zhuang, Nicholas Jing Yuan, Ruihua Song, Xing Xie, Qiang Ma</div><div class="details">(<a href="0506.pdf">PDF</a> | <a href="/proceedings/2017/506">  Details</a>)</div></div></div><div class="subsection" id="subsection6"><div class="subsection_title">Multidisciplinary Topics and Applications</div><div id="paper507" class="paper_wrapper"><div class="title">Cake Cutting: Envy and Truth</div><div class="authors">Xiaohui Bei, Ning Chen, Guangda Huzhang, Biaoshuai Tao, Jiajun Wu</div><div class="details">(<a href="0507.pdf">PDF</a> | <a href="/proceedings/2017/507">  Details</a>)</div></div><div id="paper508" class="paper_wrapper"><div class="title">Networked Fairness in Cake Cutting</div><div class="authors">Xiaohui Bei, Youming Qiao, Shengyu Zhang</div><div class="details">(<a href="0508.pdf">PDF</a> | <a href="/proceedings/2017/508">  Details</a>)</div></div><div id="paper509" class="paper_wrapper"><div class="title">Deep Multi-species Embedding</div><div class="authors">Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes</div><div class="details">(<a href="0509.pdf">PDF</a> | <a href="/proceedings/2017/509">  Details</a>)</div></div><div id="paper510" class="paper_wrapper"><div class="title">Opinion-aware Knowledge Graph for Political Ideology Detection</div><div class="authors">Wei Chen, Xiao Zhang, Tengjiao Wang, Bishan Yang, Yi Li</div><div class="details">(<a href="0510.pdf">PDF</a> | <a href="/proceedings/2017/510">  Details</a>)</div></div><div id="paper511" class="paper_wrapper"><div class="title">Exploiting Music Play Sequence for Music Recommendation</div><div class="authors">Zhiyong Cheng, Jialie Shen, Lei Zhu, Mohan Kankanhalli, Liqiang Nie</div><div class="details">(<a href="0511.pdf">PDF</a> | <a href="/proceedings/2017/511">  Details</a>)</div></div><div id="paper512" class="paper_wrapper"><div class="title">Social Pressure in Opinion Games</div><div class="authors">Diodato Ferraioli, Carmine Ventre</div><div class="details">(<a href="0512.pdf">PDF</a> | <a href="/proceedings/2017/512">  Details</a>)</div></div><div id="paper513" class="paper_wrapper"><div class="title">Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex</div><div class="authors">Chao Gao, Martin Müller, Ryan Hayward</div><div class="details">(<a href="0513.pdf">PDF</a> | <a href="/proceedings/2017/513">  Details</a>)</div></div><div id="paper514" class="paper_wrapper"><div class="title">DeepAM: Migrate APIs with Multi-modal Sequence to Sequence Learning</div><div class="authors">Xiaodong Gu, Hongyu Zhang, Dongmei Zhang, Sunghun Kim</div><div class="details">(<a href="0514.pdf">PDF</a> | <a href="/proceedings/2017/514">  Details</a>)</div></div><div id="paper515" class="paper_wrapper"><div class="title">Playing Repeated Network Interdiction Games with Semi-Bandit Feedback</div><div class="authors">Qingyu Guo, Bo An, Long Tran-Thanh</div><div class="details">(<a href="0515.pdf">PDF</a> | <a href="/proceedings/2017/515">  Details</a>)</div></div><div id="paper516" class="paper_wrapper"><div class="title">Comparing Strategic Secrecy and Stackelberg Commitment in Security Games</div><div class="authors">Qingyu Guo, Bo An, Branislav Bošanský, Christopher Kiekintveld</div><div class="details">(<a href="0516.pdf">PDF</a> | <a href="/proceedings/2017/516">  Details</a>)</div></div><div id="paper517" class="paper_wrapper"><div class="title">Modeling Physicians' Utterances to Explore Diagnostic Decision-making</div><div class="authors">Xuan Guo, Rui Li, Qi Yu, Anne Haake</div><div class="details">(<a href="0517.pdf">PDF</a> | <a href="/proceedings/2017/517">  Details</a>)</div></div><div id="paper518" class="paper_wrapper"><div class="title">Game Engine Learning from Video</div><div class="authors">Matthew Guzdial, Boyang Li, Mark O. Riedl</div><div class="details">(<a href="0518.pdf">PDF</a> | <a href="/proceedings/2017/518">  Details</a>)</div></div><div id="paper519" class="paper_wrapper"><div class="title">Who to Invite Next? Predicting Invitees of Social Groups</div><div class="authors">Yu Han, Jie Tang</div><div class="details">(<a href="0519.pdf">PDF</a> | <a href="/proceedings/2017/519">  Details</a>)</div></div><div id="paper520" class="paper_wrapper"><div class="title">Fashion Style Generator</div><div class="authors">Shuhui Jiang, Yun Fu</div><div class="details">(<a href="0520.pdf">PDF</a> | <a href="/proceedings/2017/520">  Details</a>)</div></div><div id="paper521" class="paper_wrapper"><div class="title">Exploring Personalized Neural Conversational Models</div><div class="authors">Satwik Kottur, Xiaoyu Wang, Vitor Carvalho</div><div class="details">(<a href="0521.pdf">PDF</a> | <a href="/proceedings/2017/521">  Details</a>)</div></div><div id="paper522" class="paper_wrapper"><div class="title">Stratified Strategy Selection for Unit Control in Real-Time Strategy Games</div><div class="authors">Levi H. S. Lelis</div><div class="details">(<a href="0522.pdf">PDF</a> | <a href="/proceedings/2017/522">  Details</a>)</div></div><div id="paper523" class="paper_wrapper"><div class="title">Defending Against Man-In-The-Middle Attack in Repeated Games</div><div class="authors">Shuxin Li, Xiaohong Li, Jianye Hao, Bo An, Zhiyong Feng, Kangjie Chen, Chengwei Zhang</div><div class="details">(<a href="0523.pdf">PDF</a> | <a href="/proceedings/2017/523">  Details</a>)</div></div><div id="paper524" class="paper_wrapper"><div class="title">How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source</div><div class="authors">Jiaqing Liang, Sheng Zhang, Yanghua Xiao</div><div class="details">(<a href="0524.pdf">PDF</a> | <a href="/proceedings/2017/524">  Details</a>)</div></div><div id="paper525" class="paper_wrapper"><div class="title">Tactics of Adversarial Attack on Deep Reinforcement Learning Agents</div><div class="authors">Yen-Chen Lin, Zhang-Wei Hong, Yuan-Hong Liao, Meng-Li Shih, Ming-Yu Liu, Min Sun</div><div class="details">(<a href="0525.pdf">PDF</a> | <a href="/proceedings/2017/525">  Details</a>)</div></div><div id="paper526" class="paper_wrapper"><div class="title">Adversarial Generation of Real-time Feedback with Neural Networks for Simulation-based Training</div><div class="authors">Xingjun Ma, Sudanthi Wijewickrema, Shuo Zhou, Yun Zhou, Zakaria Mhammedi, Stephen O'Leary, James Bailey</div><div class="details">(<a href="0526.pdf">PDF</a> | <a href="/proceedings/2017/526">  Details</a>)</div></div><div id="paper527" class="paper_wrapper"><div class="title">Staying Ahead of the Game: Adaptive Robust Optimization for Dynamic Allocation of Threat Screening Resources</div><div class="authors">Sara Marie Mc Carthy, Phebe Vayanos, Milind Tambe</div><div class="details">(<a href="0527.pdf">PDF</a> | <a href="/proceedings/2017/527">  Details</a>)</div></div><div id="paper528" class="paper_wrapper"><div class="title">Blue Skies: A Methodology for Data-Driven Clear Sky Modelling</div><div class="authors">Kartik Palani, Ramachandra Kota, Amar Prakash Azad, Vijay Arya</div><div class="details">(<a href="0528.pdf">PDF</a> | <a href="/proceedings/2017/528">  Details</a>)</div></div><div id="paper529" class="paper_wrapper"><div class="title">Thwarting Vote Buying Through Decoy Ballots</div><div class="authors">David C. Parkes, Paul Tylkin, Lirong Xia</div><div class="details">(<a href="0529.pdf">PDF</a> | <a href="/proceedings/2017/529">  Details</a>)</div></div><div id="paper530" class="paper_wrapper"><div class="title">Quantifying Aspect Bias in Ordinal Ratings using a Bayesian Approach</div><div class="authors">Lahari Poddar, Wynne Hsu, Mong Li Lee</div><div class="details">(<a href="0530.pdf">PDF</a> | <a href="/proceedings/2017/530">  Details</a>)</div></div><div id="paper531" class="paper_wrapper"><div class="title">Unified Representation and Lifted Sampling for Generative Models of Social Networks</div><div class="authors">Pablo Robles-Granda, Sebastian Moreno, Jennifer Neville</div><div class="details">(<a href="0531.pdf">PDF</a> | <a href="/proceedings/2017/531">  Details</a>)</div></div><div id="paper532" class="paper_wrapper"><div class="title">Cognitive-Inspired Conversational-Strategy Reasoner for Socially-Aware Agents</div><div class="authors">Oscar J. Romero, Ran Zhao, Justine Cassell</div><div class="details">(<a href="0532.pdf">PDF</a> | <a href="/proceedings/2017/532">  Details</a>)</div></div><div id="paper533" class="paper_wrapper"><div class="title">When Security Games Hit Traffic: Optimal Traffic Enforcement Under One Sided Uncertainty</div><div class="authors">Ariel Rosenfeld, Sarit Kraus</div><div class="details">(<a href="0533.pdf">PDF</a> | <a href="/proceedings/2017/533">  Details</a>)</div></div><div id="paper534" class="paper_wrapper"><div class="title">Leveraging Human Knowledge in Tabular Reinforcement Learning: A Study of Human Subjects</div><div class="authors">Ariel Rosenfeld, Matthew E. Taylor, Sarit Kraus</div><div class="details">(<a href="0534.pdf">PDF</a> | <a href="/proceedings/2017/534">  Details</a>)</div></div><div id="paper535" class="paper_wrapper"><div class="title">A Monte Carlo Tree Search approach to Active Malware Analysis</div><div class="authors">Riccardo Sartea, Alessandro Farinelli</div><div class="details">(<a href="0535.pdf">PDF</a> | <a href="/proceedings/2017/535">  Details</a>)</div></div><div id="paper536" class="paper_wrapper"><div class="title">Depression Detection via Harvesting Social Media: A Multimodal Dictionary Learning Solution</div><div class="authors">Guangyao Shen, Jia Jia, Liqiang Nie, Fuli Feng, Cunjun Zhang, Tianrui Hu, Tat-Seng Chua, Wenwu Zhu</div><div class="details">(<a href="0536.pdf">PDF</a> | <a href="/proceedings/2017/536">  Details</a>)</div></div><div id="paper537" class="paper_wrapper"><div class="title">The Minds of Many: Opponent Modeling in a Stochastic Game</div><div class="authors">Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller</div><div class="details">(<a href="0537.pdf">PDF</a> | <a href="/proceedings/2017/537">  Details</a>)</div></div><div id="paper538" class="paper_wrapper"><div class="title">Interactive Narrative Personalization with Deep Reinforcement Learning</div><div class="authors">Pengcheng Wang, Jonathan Rowe, Wookhee Min, Bradford Mott, James Lester</div><div class="details">(<a href="0538.pdf">PDF</a> | <a href="/proceedings/2017/538">  Details</a>)</div></div><div id="paper539" class="paper_wrapper"><div class="title">Predicting the Quality of Short Narratives from Social Media</div><div class="authors">Tong Wang, Ping Chen, Boyang Li</div><div class="details">(<a href="0539.pdf">PDF</a> | <a href="/proceedings/2017/539">  Details</a>)</div></div><div id="paper540" class="paper_wrapper"><div class="title">A Trust-based Mixture of Gaussian Processes Model for Reliable Regression in Participatory Sensing</div><div class="authors">Qikun Xiang, Jie Zhang, Ido Nevat, Pengfei Zhang</div><div class="details">(<a href="0540.pdf">PDF</a> | <a href="/proceedings/2017/540">  Details</a>)</div></div><div id="paper541" class="paper_wrapper"><div class="title">Online Reputation Fraud Campaign Detection in User Ratings</div><div class="authors">Chang Xu, Jie Zhang, Zhu Sun</div><div class="details">(<a href="0541.pdf">PDF</a> | <a href="/proceedings/2017/541">  Details</a>)</div></div><div id="paper542" class="paper_wrapper"><div class="title">Predicting Alzheimer's Disease Cognitive Assessment via Robust Low-Rank Structured Sparse Model</div><div class="authors">Jie Xu, Cheng Deng, Xinbo Gao, Dinggang Shen, Heng Huang</div><div class="details">(<a href="0542.pdf">PDF</a> | <a href="/proceedings/2017/542">  Details</a>)</div></div><div id="paper543" class="paper_wrapper"><div class="title">Beyond Universal Saliency: Personalized Saliency Prediction with Multi-task CNN</div><div class="authors">Yanyu Xu, Nianyi Li, Junru Wu, Jingyi Yu, Shenghua Gao</div><div class="details">(<a href="0543.pdf">PDF</a> | <a href="/proceedings/2017/543">  Details</a>)</div></div><div id="paper544" class="paper_wrapper"><div class="title">Fast Network Embedding Enhancement via High Order Proximity Approximation</div><div class="authors">Cheng Yang, Maosong Sun, Zhiyuan Liu, Cunchao Tu</div><div class="details">(<a href="0544.pdf">PDF</a> | <a href="/proceedings/2017/544">  Details</a>)</div></div><div id="paper545" class="paper_wrapper"><div class="title">A Convolutional Approach for Misinformation Identification</div><div class="authors">Feng Yu, Qiang Liu, Shu Wu, Liang Wang, Tieniu Tan</div><div class="details">(<a href="0545.pdf">PDF</a> | <a href="/proceedings/2017/545">  Details</a>)</div></div><div id="paper546" class="paper_wrapper"><div class="title">No Time to Observe: Adaptive Influence Maximization with Partial Feedback</div><div class="authors">Jing Yuan, Shaojie Tang</div><div class="details">(<a href="0546.pdf">PDF</a> | <a href="/proceedings/2017/546">  Details</a>)</div></div><div id="paper547" class="paper_wrapper"><div class="title">Socialized Word Embeddings</div><div class="authors">Ziqian Zeng, Yichun Yin, Yangqiu Song, Ming Zhang</div><div class="details">(<a href="0547.pdf">PDF</a> | <a href="/proceedings/2017/547">  Details</a>)</div></div><div id="paper548" class="paper_wrapper"><div class="title">Efficient Private ERM for Smooth Objectives</div><div class="authors">Jiaqi Zhang, Kai Zheng, Wenlong Mou, Liwei Wang</div><div class="details">(<a href="0548.pdf">PDF</a> | <a href="/proceedings/2017/548">  Details</a>)</div></div><div id="paper549" class="paper_wrapper"><div class="title">A Causal Framework for Discovering and Removing Direct and Indirect Discrimination</div><div class="authors">Lu Zhang, Yongkai Wu, Xintao Wu</div><div class="details">(<a href="0549.pdf">PDF</a> | <a href="/proceedings/2017/549">  Details</a>)</div></div><div id="paper550" class="paper_wrapper"><div class="title">Optimal Escape Interdiction on Transportation Networks</div><div class="authors">Youzhi Zhang, Bo An, Long Tran-Thanh, Zhen Wang, Jiarui Gan, Nicholas R. Jennings</div><div class="details">(<a href="0550.pdf">PDF</a> | <a href="/proceedings/2017/550">  Details</a>)</div></div><div id="paper551" class="paper_wrapper"><div class="title">Efficient Label Contamination Attacks Against Black-Box Learning Models</div><div class="authors">Mengchen Zhao, Bo An, Wei Gao, Teng Zhang</div><div class="details">(<a href="0551.pdf">PDF</a> | <a href="/proceedings/2017/551">  Details</a>)</div></div><div id="paper552" class="paper_wrapper"><div class="title">A Group-Based Personalized Model for Image Privacy Classification and Labeling</div><div class="authors">Haoti Zhong, Anna Squicciarini, David Miller, Cornelia Caragea</div><div class="details">(<a href="0552.pdf">PDF</a> | <a href="/proceedings/2017/552">  Details</a>)</div></div></div><div class="subsection" id="subsection7"><div class="subsection_title">Natural Language Processing</div><div id="paper553" class="paper_wrapper"><div class="title">A Feature-Enriched Neural Model for Joint Chinese Word Segmentation and Part-of-Speech Tagging</div><div class="authors">Xinchi Chen, Xipeng Qiu, Xuanjing Huang</div><div class="details">(<a href="0553.pdf">PDF</a> | <a href="/proceedings/2017/553">  Details</a>)</div></div><div id="paper554" class="paper_wrapper"><div class="title">Multimodal Storytelling via Generative Adversarial Imitation Learning</div><div class="authors">Zhiqian Chen, Xuchao Zhang, Arnold P. Boedihardjo, Jing Dai, Chang-Tien Lu</div><div class="details">(<a href="0554.pdf">PDF</a> | <a href="/proceedings/2017/554">  Details</a>)</div></div><div id="paper555" class="paper_wrapper"><div class="title">Joint Training for Pivot-based Neural Machine Translation</div><div class="authors">Yong Cheng, Qian Yang, Yang Liu, Maosong Sun, Wei Xu</div><div class="details">(<a href="0555.pdf">PDF</a> | <a href="/proceedings/2017/555">  Details</a>)</div></div><div id="paper556" class="paper_wrapper"><div class="title">Solving Probability Problems in Natural Language</div><div class="authors">Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc de Raedt</div><div class="details">(<a href="0556.pdf">PDF</a> | <a href="/proceedings/2017/556">  Details</a>)</div></div><div id="paper557" class="paper_wrapper"><div class="title">Stance Classification with Target-specific Neural Attention</div><div class="authors">Jiachen Du, Ruifeng Xu, Yulan He, Lin Gui</div><div class="details">(<a href="0557.pdf">PDF</a> | <a href="/proceedings/2017/557">  Details</a>)</div></div><div id="paper558" class="paper_wrapper"><div class="title">An Attention-based Regression Model for Grounding Textual Phrases in Images</div><div class="authors">Ko Endo, Masaki Aono, Eric Nichols, Kotaro Funakoshi</div><div class="details">(<a href="0558.pdf">PDF</a> | <a href="/proceedings/2017/558">  Details</a>)</div></div><div id="paper559" class="paper_wrapper"><div class="title">Effective Deep Memory Networks for Distant Supervised Relation Extraction</div><div class="authors">Xiaocheng Feng, Jiang Guo, Bing Qin, Ting Liu, Yongjie Liu</div><div class="details">(<a href="0559.pdf">PDF</a> | <a href="/proceedings/2017/559">  Details</a>)</div></div><div id="paper560" class="paper_wrapper"><div class="title">Understanding and Exploiting Language Diversity</div><div class="authors">Fausto Giunchiglia, Khuyagbaatar Batsuren, Gabor Bella</div><div class="details">(<a href="0560.pdf">PDF</a> | <a href="/proceedings/2017/560">  Details</a>)</div></div><div id="paper561" class="paper_wrapper"><div class="title">Learning to Explain Entity Relationships by Pairwise Ranking with Convolutional Neural Networks</div><div class="authors">Jizhou Huang, Wei Zhang, Shiqi Zhao, Shiqiang Ding, Haifeng Wang</div><div class="details">(<a href="0561.pdf">PDF</a> | <a href="/proceedings/2017/561">  Details</a>)</div></div><div id="paper562" class="paper_wrapper"><div class="title">SWIM: A Simple Word Interaction Model for Implicit Discourse Relation Recognition</div><div class="authors">Wenqiang Lei, Xuancong Wang, Meichun Liu, Ilija Ilievski, Xiangnan He, Min-Yen Kan</div><div class="details">(<a href="0562.pdf">PDF</a> | <a href="/proceedings/2017/562">  Details</a>)</div></div><div id="paper563" class="paper_wrapper"><div class="title">MAT: A Multimodal Attentive Translator for Image Captioning</div><div class="authors">Chang Liu, Fuchun Sun, Changhu Wang, Feng Wang, Alan Yuille</div><div class="details">(<a href="0563.pdf">PDF</a> | <a href="/proceedings/2017/563">  Details</a>)</div></div><div id="paper564" class="paper_wrapper"><div class="title">How Unlabeled Web Videos Help Complex Event Detection?</div><div class="authors">Huan Liu, Qinghua Zheng, Minnan Luo, Dingwen Zhang, Xiaojun Chang, Cheng Deng</div><div class="details">(<a href="0564.pdf">PDF</a> | <a href="/proceedings/2017/564">  Details</a>)</div></div><div id="paper565" class="paper_wrapper"><div class="title">A Structural Representation Learning for Multi-relational Networks</div><div class="authors">Lin Liu, Xin Li, William K. Cheung, Chengcheng Xu</div><div class="details">(<a href="0565.pdf">PDF</a> | <a href="/proceedings/2017/565">  Details</a>)</div></div><div id="paper566" class="paper_wrapper"><div class="title">Dynamic Compositional Neural Networks over Tree Structure</div><div class="authors">Pengfei Liu, Xipeng Qiu, Xuanjing Huang</div><div class="details">(<a href="0566.pdf">PDF</a> | <a href="/proceedings/2017/566">  Details</a>)</div></div><div id="paper567" class="paper_wrapper"><div class="title">Adaptive Semantic Compositionality for Sentence Modelling</div><div class="authors">Pengfei Liu, Xipeng Qiu, Xuanjing Huang</div><div class="details">(<a href="0567.pdf">PDF</a> | <a href="/proceedings/2017/567">  Details</a>)</div></div><div id="paper568" class="paper_wrapper"><div class="title">Interactive Attention Networks for Aspect-Level Sentiment Classification</div><div class="authors">Dehong Ma, Sujian Li, Xiaodong Zhang, Houfeng Wang</div><div class="details">(<a href="0568.pdf">PDF</a> | <a href="/proceedings/2017/568">  Details</a>)</div></div><div id="paper569" class="paper_wrapper"><div class="title">Inverted Bilingual Topic Models for Lexicon Extraction from Non-parallel Data</div><div class="authors">Tengfei Ma,  Tetsuya Nasukawa</div><div class="details">(<a href="0569.pdf">PDF</a> | <a href="/proceedings/2017/569">  Details</a>)</div></div><div id="paper570" class="paper_wrapper"><div class="title">Why Can't You Convince Me? Modeling Weaknesses in Unpersuasive Arguments</div><div class="authors">Isaac Persing, Vincent Ng</div><div class="details">(<a href="0570.pdf">PDF</a> | <a href="/proceedings/2017/570">  Details</a>)</div></div><div id="paper571" class="paper_wrapper"><div class="title">Parsing Natural Language Conversations using Contextual Cues</div><div class="authors">Shashank Srivastava, Amos Azaria, Tom Mitchell</div><div class="details">(<a href="0571.pdf">PDF</a> | <a href="/proceedings/2017/571">  Details</a>)</div></div><div id="paper572" class="paper_wrapper"><div class="title">Automatic Assessment of Absolute Sentence Complexity</div><div class="authors">Sanja Stajner, Simone Paolo Ponzetto, Heiner Stuckenschmidt</div><div class="details">(<a href="0572.pdf">PDF</a> | <a href="/proceedings/2017/572">  Details</a>)</div></div><div id="paper573" class="paper_wrapper"><div class="title">Finding Prototypes of Answers for Improving Answer Sentence Selection</div><div class="authors">Wai Lok Tam, Namgi Han, Juan Ignacio Navarro-Horñiacek, Yusuke Miyao</div><div class="details">(<a href="0573.pdf">PDF</a> | <a href="/proceedings/2017/573">  Details</a>)</div></div><div id="paper574" class="paper_wrapper"><div class="title">From Neural Sentence Summarization to Headline Generation: A Coarse-to-Fine Approach</div><div class="authors">Jiwei Tan, Xiaojun Wan, Jianguo Xiao</div><div class="details">(<a href="0574.pdf">PDF</a> | <a href="/proceedings/2017/574">  Details</a>)</div></div><div id="paper575" class="paper_wrapper"><div class="title">Multi-Modal Word Synset Induction</div><div class="authors">Jesse Thomason, Raymond J. Mooney</div><div class="details">(<a href="0575.pdf">PDF</a> | <a href="/proceedings/2017/575">  Details</a>)</div></div><div id="paper576" class="paper_wrapper"><div class="title">Conditional Generative Adversarial Networks for Commonsense Machine Comprehension</div><div class="authors">Bingning Wang, Kang Liu, Jun Zhao</div><div class="details">(<a href="0576.pdf">PDF</a> | <a href="/proceedings/2017/576">  Details</a>)</div></div><div id="paper577" class="paper_wrapper"><div class="title">Joint Learning on Relevant User Attributes in Micro-blog</div><div class="authors">Jingjing Wang, Shoushan Li, Guodong Zhou</div><div class="details">(<a href="0577.pdf">PDF</a> | <a href="/proceedings/2017/577">  Details</a>)</div></div><div id="paper578" class="paper_wrapper"><div class="title">Learning Sentence Representation with Guidance of Human Attention</div><div class="authors">Shaonan Wang, Jiajun Zhang, Chengqing Zong</div><div class="details">(<a href="0578.pdf">PDF</a> | <a href="/proceedings/2017/578">  Details</a>)</div></div><div id="paper579" class="paper_wrapper"><div class="title">Bilateral Multi-Perspective Matching for Natural Language Sentences</div><div class="authors">Zhiguo Wang, Wael Hamza, Radu Florian</div><div class="details">(<a href="0579.pdf">PDF</a> | <a href="/proceedings/2017/579">  Details</a>)</div></div><div id="paper580" class="paper_wrapper"><div class="title">DDoS Event Forecasting using Twitter Data</div><div class="authors">Zhongqing Wang, Yue Zhang</div><div class="details">(<a href="0580.pdf">PDF</a> | <a href="/proceedings/2017/580">  Details</a>)</div></div><div id="paper581" class="paper_wrapper"><div class="title">A Neural Model for Joint Event Detection and Summarization</div><div class="authors">Zhongqing Wang, Yue Zhang</div><div class="details">(<a href="0581.pdf">PDF</a> | <a href="/proceedings/2017/581">  Details</a>)</div></div><div id="paper582" class="paper_wrapper"><div class="title">A Variational Autoencoding Approach for Inducing Cross-lingual Word Embeddings</div><div class="authors">Liangchen Wei, Zhi-Hong Deng</div><div class="details">(<a href="0582.pdf">PDF</a> | <a href="/proceedings/2017/582">  Details</a>)</div></div><div id="paper583" class="paper_wrapper"><div class="title">Learning to Identify Ambiguous and Misleading News Headlines</div><div class="authors">Wei Wei, Xiaojun Wan</div><div class="details">(<a href="0583.pdf">PDF</a> | <a href="/proceedings/2017/583">  Details</a>)</div></div><div id="paper584" class="paper_wrapper"><div class="title">Improved Neural Machine Translation with Source Syntax</div><div class="authors">Shuangzhi Wu, Ming Zhou, Dongdong Zhang</div><div class="details">(<a href="0584.pdf">PDF</a> | <a href="/proceedings/2017/584">  Details</a>)</div></div><div id="paper585" class="paper_wrapper"><div class="title">Symbolic Priors for RNN-based Semantic Parsing</div><div class="authors">Chunyang Xiao, Marc Dymetman, Claire Gardent</div><div class="details">(<a href="0585.pdf">PDF</a> | <a href="/proceedings/2017/585">  Details</a>)</div></div><div id="paper586" class="paper_wrapper"><div class="title">Fast Parallel Training of Neural Language Models</div><div class="authors">Tong Xiao, Jingbo Zhu, Tongran Liu, Chunliang Zhang</div><div class="details">(<a href="0586.pdf">PDF</a> | <a href="/proceedings/2017/586">  Details</a>)</div></div><div id="paper587" class="paper_wrapper"><div class="title">Lexical Sememe Prediction via Word Embeddings and Matrix Factorization</div><div class="authors">Ruobing Xie, Xingchi Yuan, Zhiyuan Liu, Maosong Sun</div><div class="details">(<a href="0587.pdf">PDF</a> | <a href="/proceedings/2017/587">  Details</a>)</div></div><div id="paper588" class="paper_wrapper"><div class="title">A Correlated Topic Model Using Word Embeddings</div><div class="authors">Guangxu Xun, Yaliang Li, Wayne Xin Zhao, Jing Gao, Aidong Zhang</div><div class="details">(<a href="0588.pdf">PDF</a> | <a href="/proceedings/2017/588">  Details</a>)</div></div><div id="paper589" class="paper_wrapper"><div class="title">Learning Conversational Systems that Interleave Task and Non-Task Content</div><div class="authors">Zhou Yu, Alexander Rudnicky, Alan Black</div><div class="details">(<a href="0589.pdf">PDF</a> | <a href="/proceedings/2017/589">  Details</a>)</div></div><div id="paper590" class="paper_wrapper"><div class="title">AGRA: An Analysis-Generation-Ranking Framework for Automatic Abbreviation from Paper Titles</div><div class="authors">Jianbing Zhang, Yixin Sun, Shujian Huang, Cam-Tu Nguyen, Xiaoliang Wang, Xinyu Dai, Jiajun Chen, Yang Yu</div><div class="details">(<a href="0590.pdf">PDF</a> | <a href="/proceedings/2017/590">  Details</a>)</div></div><div id="paper591" class="paper_wrapper"><div class="title">Segmenting Chinese Microtext: Joint Informal-Word Detection and Segmentation with Neural Networks</div><div class="authors">Meishan Zhang, Guohong Fu, Nan Yu</div><div class="details">(<a href="0591.pdf">PDF</a> | <a href="/proceedings/2017/591">  Details</a>)</div></div><div id="paper592" class="paper_wrapper"><div class="title">Automatic Generation of Grounded Visual Questions</div><div class="authors">Shijie Zhang, Lizhen Qu, Shaodi You, Zhenglu Yang, Jiawan Zhang</div><div class="details">(<a href="0592.pdf">PDF</a> | <a href="/proceedings/2017/592">  Details</a>)</div></div><div id="paper593" class="paper_wrapper"><div class="title">Entity Suggestion with Conceptual Expanation</div><div class="authors">Yi Zhang, Yanghua Xiao, Seung-won Hwang, Haixun Wang, X. Sean Wang, Wei Wang</div><div class="details">(<a href="0593.pdf">PDF</a> | <a href="/proceedings/2017/593">  Details</a>)</div></div><div id="paper594" class="paper_wrapper"><div class="title">Maximum Expected Likelihood Estimation for Zero-resource Neural Machine Translation</div><div class="authors">Hao Zheng, Yong Cheng, Yang Liu</div><div class="details">(<a href="0594.pdf">PDF</a> | <a href="/proceedings/2017/594">  Details</a>)</div></div><div id="paper595" class="paper_wrapper"><div class="title">Iterative Entity Alignment via Joint Knowledge Embeddings</div><div class="authors">Hao Zhu, Ruobing Xie, Zhiyuan Liu, Maosong Sun</div><div class="details">(<a href="0595.pdf">PDF</a> | <a href="/proceedings/2017/595">  Details</a>)</div></div></div><div class="subsection" id="subsection8"><div class="subsection_title">Planning and Scheduling</div><div id="paper596" class="paper_wrapper"><div class="title">Efficient Optimal Search under Expensive Edge Cost Computation</div><div class="authors">Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth M. Daly, Spyros Kotoulas</div><div class="details">(<a href="0596.pdf">PDF</a> | <a href="/proceedings/2017/596">  Details</a>)</div></div><div id="paper597" class="paper_wrapper"><div class="title">Reduction Techniques for Model Checking and Learning in MDPs</div><div class="authors">Suda Bharadwaj, Stephane Le Roux, Guillermo Perez, Ufuk Topcu</div><div class="details">(<a href="0597.pdf">PDF</a> | <a href="/proceedings/2017/597">  Details</a>)</div></div><div id="paper598" class="paper_wrapper"><div class="title">Faster Conflict Generation for Dynamic Controllability</div><div class="authors">Nikhil Bhargava, Tiago Vaquero, Brian Williams</div><div class="details">(<a href="0598.pdf">PDF</a> | <a href="/proceedings/2017/598">  Details</a>)</div></div><div id="paper599" class="paper_wrapper"><div class="title">Additive Merge-and-Shrink Heuristics for Diverse Action Costs</div><div class="authors">Gaojian Fan, Martin Müller, Robert Holte</div><div class="details">(<a href="0599.pdf">PDF</a> | <a href="/proceedings/2017/599">  Details</a>)</div></div><div id="paper600" class="paper_wrapper"><div class="title">Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators</div><div class="authors">Guillem Francès, Miquel Ramírez, Nir Lipovetzky, Hector Geffner</div><div class="details">(<a href="0600.pdf">PDF</a> | <a href="/proceedings/2017/600">  Details</a>)</div></div><div id="paper601" class="paper_wrapper"><div class="title">On Creating Complementary Pattern Databases</div><div class="authors">Santiago Franco, Álvaro Torralba, Levi H. S. Lelis, Mike Barley</div><div class="details">(<a href="0601.pdf">PDF</a> | <a href="/proceedings/2017/601">  Details</a>)</div></div><div id="paper602" class="paper_wrapper"><div class="title">Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search</div><div class="authors">Daniel Gnad, Valerie Poser, Jörg Hoffmann</div><div class="details">(<a href="0602.pdf">PDF</a> | <a href="/proceedings/2017/602">  Details</a>)</div></div><div id="paper603" class="paper_wrapper"><div class="title">Intelligent Belief State Sampling for Conformant Planning</div><div class="authors">Alban Grastien, Enrico Scala</div><div class="details">(<a href="0603.pdf">PDF</a> | <a href="/proceedings/2017/603">  Details</a>)</div></div><div id="paper604" class="paper_wrapper"><div class="title">Softpressure: A Schedule-Driven Backpressure Algorithm for Coping with Network Congestion</div><div class="authors">Hsu-Chieh Hu, Stephen F. Smith</div><div class="details">(<a href="0604.pdf">PDF</a> | <a href="/proceedings/2017/604">  Details</a>)</div></div><div id="paper605" class="paper_wrapper"><div class="title">Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control</div><div class="authors">Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li</div><div class="details">(<a href="0605.pdf">PDF</a> | <a href="/proceedings/2017/605">  Details</a>)</div></div><div id="paper606" class="paper_wrapper"><div class="title">Numeric Planning via Abstraction and Policy Guided Search</div><div class="authors">León Illanes, Sheila A. McIlraith</div><div class="details">(<a href="0606.pdf">PDF</a> | <a href="/proceedings/2017/606">  Details</a>)</div></div><div id="paper607" class="paper_wrapper"><div class="title">Factorized Asymptotic Bayesian Policy Search for POMDPs</div><div class="authors">Masaaki Imaizumi, Ryohei Fujimaki</div><div class="details">(<a href="0607.pdf">PDF</a> | <a href="/proceedings/2017/607">  Details</a>)</div></div><div id="paper608" class="paper_wrapper"><div class="title">Equi-Reward Utility Maximizing Design in Stochastic Environments</div><div class="authors">Sarah Keren, Luis Pineda, Avigdor Gal, Erez Karpas, Shlomo Zilberstein</div><div class="details">(<a href="0608.pdf">PDF</a> | <a href="/proceedings/2017/608">  Details</a>)</div></div><div id="paper609" class="paper_wrapper"><div class="title">Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning</div><div class="authors">Dongcai Lu, Yi Zhou, Feng Wu, Zhao Zhang, Xiaoping Chen</div><div class="details">(<a href="0609.pdf">PDF</a> | <a href="/proceedings/2017/609">  Details</a>)</div></div><div id="paper610" class="paper_wrapper"><div class="title">Deceptive Path-Planning</div><div class="authors">Peta Masters, Sebastian Sardina</div><div class="details">(<a href="0610.pdf">PDF</a> | <a href="/proceedings/2017/610">  Details</a>)</div></div><div id="paper611" class="paper_wrapper"><div class="title">Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs</div><div class="authors">Mehdi Sadeqi, Howard J. Hamilton</div><div class="details">(<a href="0611.pdf">PDF</a> | <a href="/proceedings/2017/611">  Details</a>)</div></div><div id="paper612" class="paper_wrapper"><div class="title">Landmarks for Numeric Planning Problems</div><div class="authors">Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux</div><div class="details">(<a href="0612.pdf">PDF</a> | <a href="/proceedings/2017/612">  Details</a>)</div></div><div id="paper613" class="paper_wrapper"><div class="title">Generating Context-Free Grammars using Classical Planning</div><div class="authors">Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson</div><div class="details">(<a href="0613.pdf">PDF</a> | <a href="/proceedings/2017/613">  Details</a>)</div></div><div id="paper614" class="paper_wrapper"><div class="title">Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning</div><div class="authors">Marcel Steinmetz, Jörg Hoffmann</div><div class="details">(<a href="0614.pdf">PDF</a> | <a href="/proceedings/2017/614">  Details</a>)</div></div><div id="paper615" class="paper_wrapper"><div class="title">Efficient, Safe, and Probably Approximately Complete Learning of Action Models</div><div class="authors">Roni Stern, Brendan Juba</div><div class="details">(<a href="0615.pdf">PDF</a> | <a href="/proceedings/2017/615">  Details</a>)</div></div><div id="paper616" class="paper_wrapper"><div class="title">An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization</div><div class="authors">Hanna Sumita, Yuma Yonebayashi, Naonori Kakimura, Ken-ichi Kawarabayashi</div><div class="details">(<a href="0616.pdf">PDF</a> | <a href="/proceedings/2017/616">  Details</a>)</div></div><div id="paper617" class="paper_wrapper"><div class="title">Robust Advertisement Allocation</div><div class="authors">Shaojie Tang</div><div class="details">(<a href="0617.pdf">PDF</a> | <a href="/proceedings/2017/617">  Details</a>)</div></div><div id="paper618" class="paper_wrapper"><div class="title">From Qualitative to Quantitative Dominance Pruning for Optimal Planning</div><div class="authors">Álvaro Torralba</div><div class="details">(<a href="0618.pdf">PDF</a> | <a href="/proceedings/2017/618">  Details</a>)</div></div><div id="paper619" class="paper_wrapper"><div class="title">Mechanism Design for Strategic Project Scheduling</div><div class="authors">Pradeep Varakantham, Na Fu</div><div class="details">(<a href="0619.pdf">PDF</a> | <a href="/proceedings/2017/619">  Details</a>)</div></div><div id="paper620" class="paper_wrapper"><div class="title">Temporal Planning for Compilation of Quantum Approximate Optimization Circuits</div><div class="authors">Davide Venturelli, Minh Do, Eleanor Rieffel, Jeremy Frank</div><div class="details">(<a href="0620.pdf">PDF</a> | <a href="/proceedings/2017/620">  Details</a>)</div></div><div id="paper621" class="paper_wrapper"><div class="title">Heuristic Online Goal Recognition in Continuous Domains</div><div class="authors">Mor Vered, Gal A. Kaminka</div><div class="details">(<a href="0621.pdf">PDF</a> | <a href="/proceedings/2017/621">  Details</a>)</div></div><div id="paper622" class="paper_wrapper"><div class="title">New Metrics and Algorithms for Stochastic Goal Recognition Design Problems</div><div class="authors">Christabel Wayllace, Ping Hou, William Yeoh</div><div class="details">(<a href="0622.pdf">PDF</a> | <a href="/proceedings/2017/622">  Details</a>)</div></div><div id="paper623" class="paper_wrapper"><div class="title">Hierarchical Task Network Planning with Task Insertion and State Constraints</div><div class="authors">Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su</div><div class="details">(<a href="0623.pdf">PDF</a> | <a href="/proceedings/2017/623">  Details</a>)</div></div><div id="paper624" class="paper_wrapper"><div class="title">A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents</div><div class="authors">Fan Xie, Adi Botea, Akihiro Kishimoto</div><div class="details">(<a href="0624.pdf">PDF</a> | <a href="/proceedings/2017/624">  Details</a>)</div></div><div id="paper625" class="paper_wrapper"><div class="title">Bridging the Gap between Observation and Decision Making: Goal Recognition and Flexible Resource Allocation in Dynamic Network Interdiction</div><div class="authors">Kai Xu, Kaiming Xiao, Quanjun Yin, Yabing Zha, Cheng Zhu</div><div class="details">(<a href="0625.pdf">PDF</a> | <a href="/proceedings/2017/625">  Details</a>)</div></div></div><div class="subsection" id="subsection9"><div class="subsection_title">Robotics and Vision</div><div id="paper626" class="paper_wrapper"><div class="title">Dual Track Multimodal Automatic Learning through Human-Robot Interaction</div><div class="authors">Shuqiang Jiang, Weiqing Min, Xue Li, Huayang Wang, Jian Sun, Jiaqi Zhou</div><div class="details">(<a href="0626.pdf">PDF</a> | <a href="/proceedings/2017/626">  Details</a>)</div></div><div id="paper627" class="paper_wrapper"><div class="title">Locality Preserving Matching</div><div class="authors">Jiayi Ma, Ji Zhao, Hanqi Guo, Junjun Jiang, Huabing Zhou, Yuan Gao</div><div class="details">(<a href="0627.pdf">PDF</a> | <a href="/proceedings/2017/627">  Details</a>)</div></div><div id="paper628" class="paper_wrapper"><div class="title">Salient Object Detection with Semantic Priors</div><div class="authors">Tam V. Nguyen, Luoqi Liu</div><div class="details">(<a href="0628.pdf">PDF</a> | <a href="/proceedings/2017/628">  Details</a>)</div></div><div id="paper629" class="paper_wrapper"><div class="title">Temporal Grounding Graphs for Language Understanding with Accrued Visual-Linguistic Context</div><div class="authors">Rohan Paul, Andrei Barbu, Sue Felshin, Boris Katz, Nicholas Roy</div><div class="details">(<a href="0629.pdf">PDF</a> | <a href="/proceedings/2017/629">  Details</a>)</div></div><div id="paper630" class="paper_wrapper"><div class="title">Maintaining Communication in Multi-Robot Tree Coverage</div><div class="authors">Mor Sinay, Noa Agmon, Oleg Maksimov, Sarit Kraus, David Peleg</div><div class="details">(<a href="0630.pdf">PDF</a> | <a href="/proceedings/2017/630">  Details</a>)</div></div><div id="paper631" class="paper_wrapper"><div class="title">Combining Models from Multiple Sources for RGB-D Scene Recognition</div><div class="authors">Xinhang Song, Shuqiang Jiang, Luis Herranz</div><div class="details">(<a href="0631.pdf">PDF</a> | <a href="/proceedings/2017/631">  Details</a>)</div></div><div id="paper632" class="paper_wrapper"><div class="title">Fast Preprocessing for Robust Face Sketch Synthesis</div><div class="authors">Yibing Song, Jiawei Zhang, Linchao Bao, Qingxiong Yang</div><div class="details">(<a href="0632.pdf">PDF</a> | <a href="/proceedings/2017/632">  Details</a>)</div></div><div id="paper633" class="paper_wrapper"><div class="title">Learning to Hallucinate Face Images via Component Generation and Enhancement</div><div class="authors">Yibing Song, Jiawei Zhang, Shengfeng He, Linchao Bao, Qingxiong Yang</div><div class="details">(<a href="0633.pdf">PDF</a> | <a href="/proceedings/2017/633">  Details</a>)</div></div><div id="paper634" class="paper_wrapper"><div class="title">Cross-Granularity Graph Inference for Semantic Video Object Segmentation</div><div class="authors">Huiling Wang, Tinghuai Wang, Ke Chen, Joni-Kristian Kämäräinen</div><div class="details">(<a href="0634.pdf">PDF</a> | <a href="/proceedings/2017/634">  Details</a>)</div></div><div id="paper635" class="paper_wrapper"><div class="title">Is My Object in This Video? Reconstruction-based Object Search in Videos</div><div class="authors">Tan Yu, Jingjing Meng, Junsong Yuan</div><div class="details">(<a href="0635.pdf">PDF</a> | <a href="/proceedings/2017/635">  Details</a>)</div></div><div id="paper636" class="paper_wrapper"><div class="title">Image Gradient-based Joint Direct Visual Odometry for Stereo Camera</div><div class="authors">Jianke Zhu</div><div class="details">(<a href="0636.pdf">PDF</a> | <a href="/proceedings/2017/636">  Details</a>)</div></div></div><div class="subsection" id="subsection10"><div class="subsection_title">Uncertainty in AI</div><div id="paper637" class="paper_wrapper"><div class="title">Adaptive Elicitation of Preferences under Uncertainty in Sequential Decision Making Problems</div><div class="authors">Nawal Benabbou, Patrice Perny</div><div class="details">(<a href="0637.pdf">PDF</a> | <a href="/proceedings/2017/637">  Details</a>)</div></div><div id="paper638" class="paper_wrapper"><div class="title">COG-DICE: An Algorithm for Solving Continuous-Observation Dec-POMDPs</div><div class="authors">Madison Clark-Turner, Christopher Amato</div><div class="details">(<a href="0638.pdf">PDF</a> | <a href="/proceedings/2017/638">  Details</a>)</div></div><div id="paper639" class="paper_wrapper"><div class="title">Fair and Efficient Social Choice in Dynamic Settings</div><div class="authors">Rupert Freeman, Seyed Majid Zahedi, Vincent Conitzer</div><div class="details">(<a href="0639.pdf">PDF</a> | <a href="/proceedings/2017/639">  Details</a>)</div></div><div id="paper640" class="paper_wrapper"><div class="title">Incremental Decision Making Under Risk with the Weighted Expected Utility Model</div><div class="authors">Hugo Gilbert, Nawal Benabbou, Patrice Perny, Olivier Spanjaard, Paolo Viappiani</div><div class="details">(<a href="0640.pdf">PDF</a> | <a href="/proceedings/2017/640">  Details</a>)</div></div><div id="paper641" class="paper_wrapper"><div class="title">Coarse-to-Fine Lifted MAP Inference in Computer Vision</div><div class="authors">Haroun Habeeb, Ankit Anand, Mausam, Parag Singla</div><div class="details">(<a href="0641.pdf">PDF</a> | <a href="/proceedings/2017/641">  Details</a>)</div></div><div id="paper642" class="paper_wrapper"><div class="title">Variational Mixtures of Gaussian Processes for Classification</div><div class="authors">Chen Luo, Shiliang Sun</div><div class="details">(<a href="0642.pdf">PDF</a> | <a href="/proceedings/2017/642">  Details</a>)</div></div><div id="paper643" class="paper_wrapper"><div class="title">Weighted Model Integration with Orthogonal Transformations</div><div class="authors">David Merrell, Aws Albarghouthi, Loris D'Antoni</div><div class="details">(<a href="0643.pdf">PDF</a> | <a href="/proceedings/2017/643">  Details</a>)</div></div><div id="paper644" class="paper_wrapper"><div class="title">Efficient Inference for Untied MLNs</div><div class="authors">Somdeb Sarkhel, Deepak Venugopal, Nicholas Ruozzi, Vibhav Gogate</div><div class="details">(<a href="0644.pdf">PDF</a> | <a href="/proceedings/2017/644">  Details</a>)</div></div><div id="paper645" class="paper_wrapper"><div class="title">Order Statistics for Probabilistic Graphical Models</div><div class="authors">David Smith, Sara Rouhani, Vibhav Gogate</div><div class="details">(<a href="0645.pdf">PDF</a> | <a href="/proceedings/2017/645">  Details</a>)</div></div><div id="paper646" class="paper_wrapper"><div class="title">Scalable Estimation of Dirichlet Process Mixture Models on Distributed Data</div><div class="authors">Ruohui Wang, Dahua Lin</div><div class="details">(<a href="0646.pdf">PDF</a> | <a href="/proceedings/2017/646">  Details</a>)</div></div><div id="paper647" class="paper_wrapper"><div class="title">XOR-Sampling for Network Design with Correlated Stochastic Events</div><div class="authors">Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes</div><div class="details">(<a href="0647.pdf">PDF</a> | <a href="/proceedings/2017/647">  Details</a>)</div></div><div id="paper648" class="paper_wrapper"><div class="title">Robust Quadratic Programming for Price Optimization</div><div class="authors">Akihiro Yabe, Shinji Ito, Ryohei Fujimaki</div><div class="details">(<a href="0648.pdf">PDF</a> | <a href="/proceedings/2017/648">  Details</a>)</div></div><div id="paper649" class="paper_wrapper"><div class="title">Single-Image 3D Scene Parsing Using Geometric Commonsense</div><div class="authors">Chengcheng Yu, Xiaobai Liu, Song-Chun Zhu</div><div class="details">(<a href="0649.pdf">PDF</a> | <a href="/proceedings/2017/649">  Details</a>)</div></div><div id="paper650" class="paper_wrapper"><div class="title">Dynamic Programming Bipartite Belief Propagation For Hyper   Graph Matching</div><div class="authors">Zhen Zhang, Julian McAuley, Yong Li, Wei Wei, Yanning Zhang, Qinfeng Shi</div><div class="details">(<a href="0650.pdf">PDF</a> | <a href="/proceedings/2017/650">  Details</a>)</div></div><div id="paper651" class="paper_wrapper"><div class="title">Approximating Discrete Probability Distribution of Image Emotions by Multi-Modal Features Fusion</div><div class="authors">Sicheng Zhao, Guiguang Ding, Yue Gao, Jungong Han</div><div class="details">(<a href="0651.pdf">PDF</a> | <a href="/proceedings/2017/651">  Details</a>)</div></div><div id="paper652" class="paper_wrapper"><div class="title">Plato's Cave in the Dempster-Shafer land--the Link between Pignistic and Plausibility Transformations</div><div class="authors">Chunlai Zhou, Biao Qin, Xiaoyong Du</div><div class="details">(<a href="0652.pdf">PDF</a> | <a href="/proceedings/2017/652">  Details</a>)</div></div></div></div><div class="section" id="section2"><div class="section_title"><h3>AI and autonomy track</h3></div><div class="subsection" id="subsection0"><div id="paper653" class="paper_wrapper"><div class="title">When Will Negotiation Agents Be Able to Represent Us? The Challenges and Opportunities for Autonomous Negotiators</div><div class="authors">Tim Baarslag, Michael Kaisers, Enrico H. Gerding, Catholijn M. Jonker, Jonathan Gratch</div><div class="details">(<a href="0653.pdf">PDF</a> | <a href="/proceedings/2017/653">  Details</a>)</div></div><div id="paper654" class="paper_wrapper"><div class="title">Algorithmic Bias in Autonomous Systems</div><div class="authors">David Danks, Alex John London</div><div class="details">(<a href="0654.pdf">PDF</a> | <a href="/proceedings/2017/654">  Details</a>)</div></div><div id="paper655" class="paper_wrapper"><div class="title">Responsible Autonomy</div><div class="authors">Virginia Dignum</div><div class="details">(<a href="0655.pdf">PDF</a> | <a href="/proceedings/2017/655">  Details</a>)</div></div><div id="paper656" class="paper_wrapper"><div class="title">Reinforcement Learning with a Corrupted Reward Channel</div><div class="authors">Tom Everitt, Victoria Krakovna, Laurent Orseau, Shane Legg</div><div class="details">(<a href="0656.pdf">PDF</a> | <a href="/proceedings/2017/656">  Details</a>)</div></div><div id="paper657" class="paper_wrapper"><div class="title">A Goal Reasoning Agent for Controlling UAVs in Beyond-Visual-Range Air Combat</div><div class="authors">Michael W. Floyd, Justin Karneeb, Philip Moore, David W. Aha</div><div class="details">(<a href="0657.pdf">PDF</a> | <a href="/proceedings/2017/657">  Details</a>)</div></div><div id="paper658" class="paper_wrapper"><div class="title">On Automating the Doctrine of Double Effect</div><div class="authors">Naveen Sundar Govindarajulu, Selmer Bringsjord</div><div class="details">(<a href="0658.pdf">PDF</a> | <a href="/proceedings/2017/658">  Details</a>)</div></div><div id="paper659" class="paper_wrapper"><div class="title">Achieving Coordination in Multi-Agent Systems by Stable Local Conventions under Community Networks</div><div class="authors">Shuyue Hu, Ho-fung Leung</div><div class="details">(<a href="0659.pdf">PDF</a> | <a href="/proceedings/2017/659">  Details</a>)</div></div><div id="paper660" class="paper_wrapper"><div class="title">Context-Based Reasoning on Privacy in Internet of Things</div><div class="authors">Nadin Kokciyan, Pinar Yolum</div><div class="details">(<a href="0660.pdf">PDF</a> | <a href="/proceedings/2017/660">  Details</a>)</div></div><div id="paper661" class="paper_wrapper"><div class="title">Concrete Problems for Autonomous Vehicle Safety: Advantages of Bayesian Deep Learning</div><div class="authors">Rowan McAllister, Yarin Gal, Alex Kendall, Mark van der Wilk, Amar Shah, Roberto Cipolla, Adrian Weller</div><div class="details">(<a href="0661.pdf">PDF</a> | <a href="/proceedings/2017/661">  Details</a>)</div></div><div id="paper662" class="paper_wrapper"><div class="title">Should Robots be Obedient?</div><div class="authors">Smitha Milli, Dylan Hadfield-Menell, Anca Dragan, Stuart Russell</div><div class="details">(<a href="0662.pdf">PDF</a> | <a href="/proceedings/2017/662">  Details</a>)</div></div><div id="paper663" class="paper_wrapper"><div class="title">Privacy and Autonomous Systems</div><div class="authors">Jose M. Such</div><div class="details">(<a href="0663.pdf">PDF</a> | <a href="/proceedings/2017/663">  Details</a>)</div></div><div id="paper664" class="paper_wrapper"><div class="title">Online Decision-Making for Scalable Autonomous Systems</div><div class="authors">Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein</div><div class="details">(<a href="0664.pdf">PDF</a> | <a href="/proceedings/2017/664">  Details</a>)</div></div></div></div><div class="section" id="section3"><div class="section_title"><h3>Best Sister Conferences</h3></div><div class="subsection" id="subsection0"><div id="paper665" class="paper_wrapper"><div class="title">Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract</div><div class="authors">Stephane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit</div><div class="details">(<a href="0665.pdf">PDF</a> | <a href="/proceedings/2017/665">  Details</a>)</div></div><div id="paper666" class="paper_wrapper"><div class="title">Unsatisfiable Core Shrinking for Anytime Answer Set Optimization</div><div class="authors">Mario Alviano, Carmine Dodaro</div><div class="details">(<a href="0666.pdf">PDF</a> | <a href="/proceedings/2017/666">  Details</a>)</div></div><div id="paper667" class="paper_wrapper"><div class="title">A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality</div><div class="authors">Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach</div><div class="details">(<a href="0667.pdf">PDF</a> | <a href="/proceedings/2017/667">  Details</a>)</div></div><div id="paper668" class="paper_wrapper"><div class="title">Concerning Referring Expressions in Query Answers</div><div class="authors">Alexander Borgida, David Toman, Grant Weddell</div><div class="details">(<a href="0668.pdf">PDF</a> | <a href="/proceedings/2017/668">  Details</a>)</div></div><div id="paper669" class="paper_wrapper"><div class="title">Open-World Probabilistic Databases: An Abridged Report</div><div class="authors">Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck</div><div class="details">(<a href="0669.pdf">PDF</a> | <a href="/proceedings/2017/669">  Details</a>)</div></div><div id="paper670" class="paper_wrapper"><div class="title">Efficient Techniques for Crowdsourced Top-k Lists</div><div class="authors">Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis</div><div class="details">(<a href="0670.pdf">PDF</a> | <a href="/proceedings/2017/670">  Details</a>)</div></div><div id="paper671" class="paper_wrapper"><div class="title">Predicting Human Similarity Judgments with Distributional Models: The Value of Word Associations</div><div class="authors">Simon De Deyne, Amy Perfors, Daniel J. Navarro</div><div class="details">(<a href="0671.pdf">PDF</a> | <a href="/proceedings/2017/671">  Details</a>)</div></div><div id="paper672" class="paper_wrapper"><div class="title">Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling</div><div class="authors">Christopher De Sa, Kunle Olukotun, Christopher Ré</div><div class="details">(<a href="0672.pdf">PDF</a> | <a href="/proceedings/2017/672">  Details</a>)</div></div><div id="paper673" class="paper_wrapper"><div class="title">Intuitionistic Layered Graph Logic</div><div class="authors">Simon Docherty, David Pym</div><div class="details">(<a href="0673.pdf">PDF</a> | <a href="/proceedings/2017/673">  Details</a>)</div></div><div id="paper674" class="paper_wrapper"><div class="title">User-Based Opinion-based Recommendation</div><div class="authors">Ruihai Dong, Barry Smyth</div><div class="details">(<a href="0674.pdf">PDF</a> | <a href="/proceedings/2017/674">  Details</a>)</div></div><div id="paper675" class="paper_wrapper"><div class="title">Enhancing Crowdworkers' Vigilance</div><div class="authors">Avshalom Elmalech, David Sarne, Esther David, Chen Hajaj</div><div class="details">(<a href="0675.pdf">PDF</a> | <a href="/proceedings/2017/675">  Details</a>)</div></div><div id="paper676" class="paper_wrapper"><div class="title">Lessons from the Amazon Picking Challenge: Four Aspects of Building Robotic Systems</div><div class="authors">Clemens Eppner, Sebastian Höfer, Rico Jonschkowski, Roberto Martín-Martín, Arne Sieverling, Vincent Wall, Oliver Brock</div><div class="details">(<a href="0676.pdf">PDF</a> | <a href="/proceedings/2017/676">  Details</a>)</div></div><div id="paper677" class="paper_wrapper"><div class="title">Lexicons on Demand: Neural Word Embeddings for Large-Scale Text Analysis</div><div class="authors">Ethan Fast, Binbin Chen, Michael S. Bernstein</div><div class="details">(<a href="0677.pdf">PDF</a> | <a href="/proceedings/2017/677">  Details</a>)</div></div><div id="paper678" class="paper_wrapper"><div class="title">Which is the Fairest (Rent Division) of Them All? [Extended Abstract]</div><div class="authors">Ya'akov (Kobi) Gal, Moshe Mash, Ariel D. Procaccia, Yair Zick</div><div class="details">(<a href="0678.pdf">PDF</a> | <a href="/proceedings/2017/678">  Details</a>)</div></div><div id="paper679" class="paper_wrapper"><div class="title">Using Constraint Programming to solve a Cryptanalytic Problem</div><div class="authors">David Gerault, Marine Minier, Christine Solnon</div><div class="details">(<a href="0679.pdf">PDF</a> | <a href="/proceedings/2017/679">  Details</a>)</div></div><div id="paper680" class="paper_wrapper"><div class="title">Multi-Type Activity Recognition from a Robot's Viewpoint</div><div class="authors">Ilaria Gori, J. K. Aggarwal, Larry Matthies, Michael. S. Ryoo</div><div class="details">(<a href="0680.pdf">PDF</a> | <a href="/proceedings/2017/680">  Details</a>)</div></div><div id="paper681" class="paper_wrapper"><div class="title">Model Accuracy and Runtime Tradeoff in Distributed Deep Learning: A Systematic Study</div><div class="authors">Suyog Gupta, Wei Zhang, Fei Wang</div><div class="details">(<a href="0681.pdf">PDF</a> | <a href="/proceedings/2017/681">  Details</a>)</div></div><div id="paper682" class="paper_wrapper"><div class="title">First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)</div><div class="authors">Amelia Harrison, Yuliya Lierler</div><div class="details">(<a href="0682.pdf">PDF</a> | <a href="/proceedings/2017/682">  Details</a>)</div></div><div id="paper683" class="paper_wrapper"><div class="title">Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method</div><div class="authors">Marijn J.H. Heule, Oliver Kullmann, Victor W. Marek</div><div class="details">(<a href="0683.pdf">PDF</a> | <a href="/proceedings/2017/683">  Details</a>)</div></div><div id="paper684" class="paper_wrapper"><div class="title">Summary: Multi-Agent Path Finding with Kinematic Constraints</div><div class="authors">Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig</div><div class="details">(<a href="0684.pdf">PDF</a> | <a href="/proceedings/2017/684">  Details</a>)</div></div><div id="paper685" class="paper_wrapper"><div class="title">Learning and Applying Case Adaptation Rules for Classification: An Ensemble Approach</div><div class="authors">Vahid Jalali, David Leake, Najmeh Forouzandehmehr</div><div class="details">(<a href="0685.pdf">PDF</a> | <a href="/proceedings/2017/685">  Details</a>)</div></div><div id="paper686" class="paper_wrapper"><div class="title">An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community</div><div class="authors">Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit</div><div class="details">(<a href="0686.pdf">PDF</a> | <a href="/proceedings/2017/686">  Details</a>)</div></div><div id="paper687" class="paper_wrapper"><div class="title">Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?</div><div class="authors">Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere</div><div class="details">(<a href="0687.pdf">PDF</a> | <a href="/proceedings/2017/687">  Details</a>)</div></div><div id="paper688" class="paper_wrapper"><div class="title">On Thompson Sampling and Asymptotic Optimality</div><div class="authors">Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter</div><div class="details">(<a href="0688.pdf">PDF</a> | <a href="/proceedings/2017/688">  Details</a>)</div></div><div id="paper689" class="paper_wrapper"><div class="title">A SAT Approach to Branchwidth</div><div class="authors">Neha Lodha, Sebastian Ordyniak, Stefan Szeider</div><div class="details">(<a href="0689.pdf">PDF</a> | <a href="/proceedings/2017/689">  Details</a>)</div></div><div id="paper690" class="paper_wrapper"><div class="title">Self-Adjusting Memory: How to Deal with Diverse Drift Types</div><div class="authors">Viktor Losing, Barbara  Hammer, Heiko Wersing</div><div class="details">(<a href="0690.pdf">PDF</a> | <a href="/proceedings/2017/690">  Details</a>)</div></div><div id="paper691" class="paper_wrapper"><div class="title">Competence Guided Model for Casebase Maintenance</div><div class="authors">Ditty Mathew, Sutanu Chakraborti</div><div class="details">(<a href="0691.pdf">PDF</a> | <a href="/proceedings/2017/691">  Details</a>)</div></div><div id="paper692" class="paper_wrapper"><div class="title">The Many Benefits of Annotator Rationales for Relevance Judgments</div><div class="authors">Tyler McDonnell, Mucahid Kutlu, Tamer Elsayed, Matthew Lease</div><div class="details">(<a href="0692.pdf">PDF</a> | <a href="/proceedings/2017/692">  Details</a>)</div></div><div id="paper693" class="paper_wrapper"><div class="title">Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects</div><div class="authors">Seyed Sina Mirrazavi Salehian, Nadia Figueroa, Aude Billard</div><div class="details">(<a href="0693.pdf">PDF</a> | <a href="/proceedings/2017/693">  Details</a>)</div></div><div id="paper694" class="paper_wrapper"><div class="title">KSP: A Resolution-based Prover for Multimodal K, Abridged Report</div><div class="authors">Cláudia Nalon, Ullrich Hustadt, Clare Dixon</div><div class="details">(<a href="0694.pdf">PDF</a> | <a href="/proceedings/2017/694">  Details</a>)</div></div><div id="paper695" class="paper_wrapper"><div class="title">nanoCoP: Natural Non-clausal Theorem Proving</div><div class="authors">Jens Otten</div><div class="details">(<a href="0695.pdf">PDF</a> | <a href="/proceedings/2017/695">  Details</a>)</div></div><div id="paper696" class="paper_wrapper"><div class="title">Grounding Abstract Spatial Concepts for Language Interaction with Robots</div><div class="authors">Rohan Paul, Jacob Arkin, Nicholas Roy, Thomas M. Howard</div><div class="details">(<a href="0696.pdf">PDF</a> | <a href="/proceedings/2017/696">  Details</a>)</div></div><div id="paper697" class="paper_wrapper"><div class="title">Adapting Deep Network Features to Capture Psychological Representations: An Abridged Report</div><div class="authors">Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths</div><div class="details">(<a href="0697.pdf">PDF</a> | <a href="/proceedings/2017/697">  Details</a>)</div></div><div id="paper698" class="paper_wrapper"><div class="title">Evaluating Market User Interfaces for Electric Vehicle Charging using Bid2Charge</div><div class="authors">Sebastian Stein, Enrico H. Gerding, Adrian Nedea, Avi Rosenfeld, Nicholas R. Jennings</div><div class="details">(<a href="0698.pdf">PDF</a> | <a href="/proceedings/2017/698">  Details</a>)</div></div><div id="paper699" class="paper_wrapper"><div class="title">Local Topic Discovery via Boosted Ensemble of Nonnegative Matrix Factorization</div><div class="authors">Sangho Suh, Jaegul Choo, Joonseok Lee, Chandan K. Reddy</div><div class="details">(<a href="0699.pdf">PDF</a> | <a href="/proceedings/2017/699">  Details</a>)</div></div><div id="paper700" class="paper_wrapper"><div class="title">Value Iteration Networks</div><div class="authors">Aviv Tamar, Yi Wu, Garrett Thomas, Sergey Levine, Pieter Abbeel</div><div class="details">(<a href="0700.pdf">PDF</a> | <a href="/proceedings/2017/700">  Details</a>)</div></div><div id="paper701" class="paper_wrapper"><div class="title">I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space</div><div class="authors">Felipe Trevizan, Sylvie Thiebaux, Pedro Santana, Brian Williams</div><div class="details">(<a href="0701.pdf">PDF</a> | <a href="/proceedings/2017/701">  Details</a>)</div></div><div id="paper702" class="paper_wrapper"><div class="title">Maximizing Awareness about HIV in Social Networks of Homeless Youth with Limited Information</div><div class="authors">Amulya Yadav, Hau Chan, Albert Xin Jiang, Haifeng Xu, Eric Rice, Milind Tambe</div><div class="details">(<a href="0702.pdf">PDF</a> | <a href="/proceedings/2017/702">  Details</a>)</div></div></div></div><div class="section" id="section4"><div class="section_title"><h3>Journal track</h3></div><div class="subsection" id="subsection0"><div id="paper703" class="paper_wrapper"><div class="title">Robust Multilingual Named Entity Recognition with Shallow Semi-supervised Features (Extended Abstract)</div><div class="authors">Rodrigo Agerri, German Rigau</div><div class="details">(<a href="0703.pdf">PDF</a> | <a href="/proceedings/2017/703">  Details</a>)</div></div><div id="paper704" class="paper_wrapper"><div class="title">Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended  Abstract)</div><div class="authors">Raffaella Bernardi, Ruket Cakici, Desmond Elliott, Aykut Erdem, Erkut Erdem, Nazli Ikizler-Cinbis, Frank Keller, Adrian Muscat, Barbara Plank</div><div class="details">(<a href="0704.pdf">PDF</a> | <a href="/proceedings/2017/704">  Details</a>)</div></div><div id="paper705" class="paper_wrapper"><div class="title">A New Semantics for Overriding in Description Logics (Extended Abstract)</div><div class="authors">Piero Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro</div><div class="details">(<a href="0705.pdf">PDF</a> | <a href="/proceedings/2017/705">  Details</a>)</div></div><div id="paper706" class="paper_wrapper"><div class="title">On Minimum Representations of Matched Formulas (Extended Abstract)</div><div class="authors">Ondřej Čepek, Štefan Gurský, Petr Kučera</div><div class="details">(<a href="0706.pdf">PDF</a> | <a href="/proceedings/2017/706">  Details</a>)</div></div><div id="paper707" class="paper_wrapper"><div class="title">Efficient Mechanism Design for Online Scheduling (Extended Abstract)</div><div class="authors">Xujin Chen, Xiaodong Hu, Tie-Yan Liu, Weidong Ma, Tao Qin, Pingzhong Tang, Changjun Wang, Bo Zheng</div><div class="details">(<a href="0707.pdf">PDF</a> | <a href="/proceedings/2017/707">  Details</a>)</div></div><div id="paper708" class="paper_wrapper"><div class="title">Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)</div><div class="authors">James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett</div><div class="details">(<a href="0708.pdf">PDF</a> | <a href="/proceedings/2017/708">  Details</a>)</div></div><div id="paper709" class="paper_wrapper"><div class="title">Coherent Predictive Inference under Exchangeability with Imprecise Probabilities (Extended Abstract)</div><div class="authors">Gert de Cooman, Jasper De Bock, Márcio Alves Diniz</div><div class="details">(<a href="0709.pdf">PDF</a> | <a href="/proceedings/2017/709">  Details</a>)</div></div><div id="paper710" class="paper_wrapper"><div class="title">The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)</div><div class="authors">Davide  Grossi, Emiliano Lorini, François Schwarzentruber</div><div class="details">(<a href="0710.pdf">PDF</a> | <a href="/proceedings/2017/710">  Details</a>)</div></div><div id="paper711" class="paper_wrapper"><div class="title">Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract)</div><div class="authors">José Hernández-Orallo, Fernando Martínez-Plumed, Ute  Schmid, Michael Siebers, David Dowe</div><div class="details">(<a href="0711.pdf">PDF</a> | <a href="/proceedings/2017/711">  Details</a>)</div></div><div id="paper712" class="paper_wrapper"><div class="title">New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)</div><div class="authors">Yong Lai, Dayou Liu, Minghao Yin</div><div class="details">(<a href="0712.pdf">PDF</a> | <a href="/proceedings/2017/712">  Details</a>)</div></div><div id="paper713" class="paper_wrapper"><div class="title">Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)</div><div class="authors">Craig E. Larson, Nico Van Cleemput</div><div class="details">(<a href="0713.pdf">PDF</a> | <a href="/proceedings/2017/713">  Details</a>)</div></div><div id="paper714" class="paper_wrapper"><div class="title">On Redundant Topological Constraints (Extended Abstract)</div><div class="authors">Sanjiang Li, Zhiguo  Long, Weiming Liu, Matt Duckham, Alan Both</div><div class="details">(<a href="0714.pdf">PDF</a> | <a href="/proceedings/2017/714">  Details</a>)</div></div><div id="paper715" class="paper_wrapper"><div class="title">AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)</div><div class="authors">Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub</div><div class="details">(<a href="0715.pdf">PDF</a> | <a href="/proceedings/2017/715">  Details</a>)</div></div><div id="paper716" class="paper_wrapper"><div class="title">CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)</div><div class="authors">Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang</div><div class="details">(<a href="0716.pdf">PDF</a> | <a href="/proceedings/2017/716">  Details</a>)</div></div><div id="paper717" class="paper_wrapper"><div class="title">Approximate Value Iteration with Temporally Extended Actions  (Extended Abstract)</div><div class="authors">Timothy A. Mann, Shie Mannor, Doina Precup</div><div class="details">(<a href="0717.pdf">PDF</a> | <a href="/proceedings/2017/717">  Details</a>)</div></div><div id="paper718" class="paper_wrapper"><div class="title">Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)</div><div class="authors">Till Mossakowski, Reinhard Moratz</div><div class="details">(<a href="0718.pdf">PDF</a> | <a href="/proceedings/2017/718">  Details</a>)</div></div><div id="paper719" class="paper_wrapper"><div class="title">Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)</div><div class="authors">Maurício D. L. Reis, Eduardo Fermé, Pavlos Peppas</div><div class="details">(<a href="0719.pdf">PDF</a> | <a href="/proceedings/2017/719">  Details</a>)</div></div><div id="paper720" class="paper_wrapper"><div class="title">News Across Languages - Cross-Lingual Document Similarity and Event Tracking (Extended Abstract)</div><div class="authors">Jan Rupnik, Andrej Muhič, Gregor Leban, Blaž Fortuna, Marko Grobelnik</div><div class="details">(<a href="0720.pdf">PDF</a> | <a href="/proceedings/2017/720">  Details</a>)</div></div><div id="paper721" class="paper_wrapper"><div class="title">Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)</div><div class="authors">Petr Savický, Petr Kučera</div><div class="details">(<a href="0721.pdf">PDF</a> | <a href="/proceedings/2017/721">  Details</a>)</div></div><div id="paper722" class="paper_wrapper"><div class="title">Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)</div><div class="authors">Yi-Dong Shen, Thomas Eiter</div><div class="details">(<a href="0722.pdf">PDF</a> | <a href="/proceedings/2017/722">  Details</a>)</div></div><div id="paper723" class="paper_wrapper"><div class="title">Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract)</div><div class="authors">Shahaf S. Shperberg, Solomon Eyal Shimony</div><div class="details">(<a href="0723.pdf">PDF</a> | <a href="/proceedings/2017/723">  Details</a>)</div></div><div id="paper724" class="paper_wrapper"><div class="title">On the Expressivity of Inconsistency Measures (Extended Abstract)</div><div class="authors">Matthias Thimm</div><div class="details">(<a href="0724.pdf">PDF</a> | <a href="/proceedings/2017/724">  Details</a>)</div></div><div id="paper725" class="paper_wrapper"><div class="title">A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract)</div><div class="authors">Son Thanh To, Tran Cao Son, Enrico Pontelli</div><div class="details">(<a href="0725.pdf">PDF</a> | <a href="/proceedings/2017/725">  Details</a>)</div></div><div id="paper726" class="paper_wrapper"><div class="title">Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract)</div><div class="authors">Tony T. Tran, Tiago Vaquero, Goldie Nejat, J. Christopher Beck</div><div class="details">(<a href="0726.pdf">PDF</a> | <a href="/proceedings/2017/726">  Details</a>)</div></div><div id="paper727" class="paper_wrapper"><div class="title">Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract)</div><div class="authors">Stefano V. Albrecht, Subramanian Ramamoorthy</div><div class="details">(<a href="0727.pdf">PDF</a> | <a href="/proceedings/2017/727">  Details</a>)</div></div><div id="paper728" class="paper_wrapper"><div class="title">Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function  (Extended Abstract)</div><div class="authors">Yiyuan Wang, Shaowei Cai, Minghao Yin</div><div class="details">(<a href="0728.pdf">PDF</a> | <a href="/proceedings/2017/728">  Details</a>)</div></div><div id="paper729" class="paper_wrapper"><div class="title">Text Rewriting Improves Semantic Role Labeling (Extended Abstract)</div><div class="authors">Kristian Woodsend, Mirella Lapata</div><div class="details">(<a href="0729.pdf">PDF</a> | <a href="/proceedings/2017/729">  Details</a>)</div></div><div id="paper730" class="paper_wrapper"><div class="title">POPPONENT: Highly accurate, individually and socially efficient opponent preference model in bilateral multi issue negotiations (Extended Abstract)</div><div class="authors">Farhad Zafari, Faria Nassiri-Mofakham</div><div class="details">(<a href="0730.pdf">PDF</a> | <a href="/proceedings/2017/730">  Details</a>)</div></div></div></div><div class="section" id="section5"><div class="section_title"><h3>Early Career</h3></div><div class="subsection" id="subsection0"><div id="paper731" class="paper_wrapper"><div class="title">Robotic Strategic Behavior in Adversarial Environments</div><div class="authors">Noa Agmon</div><div class="details">(<a href="0731.pdf">PDF</a> | <a href="/proceedings/2017/731">  Details</a>)</div></div><div id="paper732" class="paper_wrapper"><div class="title">Game Theoretic Analysis of Security and Sustainability</div><div class="authors">Bo An</div><div class="details">(<a href="0732.pdf">PDF</a> | <a href="/proceedings/2017/732">  Details</a>)</div></div><div id="paper733" class="paper_wrapper"><div class="title">Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds</div><div class="authors">Vaishak Belle</div><div class="details">(<a href="0733.pdf">PDF</a> | <a href="/proceedings/2017/733">  Details</a>)</div></div><div id="paper734" class="paper_wrapper"><div class="title">Committee Scoring Rules: A Call to Arms</div><div class="authors">Piotr Faliszewski</div><div class="details">(<a href="0734.pdf">PDF</a> | <a href="/proceedings/2017/734">  Details</a>)</div></div><div id="paper735" class="paper_wrapper"><div class="title">Learning from Data Heterogeneity: Algorithms and Applications</div><div class="authors">Jingrui He</div><div class="details">(<a href="0735.pdf">PDF</a> | <a href="/proceedings/2017/735">  Details</a>)</div></div><div id="paper736" class="paper_wrapper"><div class="title">Knowledge Engineering for Intelligent Decision Support</div><div class="authors">María Vanina Martínez</div><div class="details">(<a href="0736.pdf">PDF</a> | <a href="/proceedings/2017/736">  Details</a>)</div></div><div id="paper737" class="paper_wrapper"><div class="title">Multimodal News Article Analysis</div><div class="authors">Arnau Ramisa</div><div class="details">(<a href="0737.pdf">PDF</a> | <a href="/proceedings/2017/737">  Details</a>)</div></div><div id="paper738" class="paper_wrapper"><div class="title">Towards Certified Unsolvability in Classical Planning</div><div class="authors">Gabriele Röger</div><div class="details">(<a href="0738.pdf">PDF</a> | <a href="/proceedings/2017/738">  Details</a>)</div></div><div id="paper739" class="paper_wrapper"><div class="title">Reinforcement mechanism design</div><div class="authors">Pingzhong Tang</div><div class="details">(<a href="0739.pdf">PDF</a> | <a href="/proceedings/2017/739">  Details</a>)</div></div><div id="paper740" class="paper_wrapper"><div class="title">Unsupervised Learning via Total Correlation Explanation</div><div class="authors">Greg Ver Steeg</div><div class="details">(<a href="0740.pdf">PDF</a> | <a href="/proceedings/2017/740">  Details</a>)</div></div><div id="paper741" class="paper_wrapper"><div class="title">Improving Group Decision-Making by Artificial Intelligence</div><div class="authors">Lirong Xia</div><div class="details">(<a href="0741.pdf">PDF</a> | <a href="/proceedings/2017/741">  Details</a>)</div></div><div id="paper742" class="paper_wrapper"><div class="title">Securing and scaling cryptocurrencies</div><div class="authors">Aviv Zohar</div><div class="details">(<a href="0742.pdf">PDF</a> | <a href="/proceedings/2017/742">  Details</a>)</div></div></div></div><div class="section" id="section6"><div class="section_title"><h3>Doctoral Consortium</h3></div><div class="subsection" id="subsection0"><div id="paper743" class="paper_wrapper"><div class="title">A Framework for Long-Term Learning Systems</div><div class="authors">Diana Benavides-Prado</div><div class="details">(<a href="0743.pdf">PDF</a> | <a href="/proceedings/2017/743">  Details</a>)</div></div><div id="paper744" class="paper_wrapper"><div class="title">Learning Multi-faceted Knowledge Graph Embeddings for Natural Language Processing</div><div class="authors">Muhao Chen, Carlo Zaniolo</div><div class="details">(<a href="0744.pdf">PDF</a> | <a href="/proceedings/2017/744">  Details</a>)</div></div><div id="paper745" class="paper_wrapper"><div class="title">Understanding and Measuring Collective Intelligence Across Different Cognitive Systems: An Information-Theoretic Approach</div><div class="authors">Nader Chmait</div><div class="details">(<a href="0745.pdf">PDF</a> | <a href="/proceedings/2017/745">  Details</a>)</div></div><div id="paper746" class="paper_wrapper"><div class="title">Online Algorithm Selection</div><div class="authors">Hans Degroote</div><div class="details">(<a href="0746.pdf">PDF</a> | <a href="/proceedings/2017/746">  Details</a>)</div></div><div id="paper747" class="paper_wrapper"><div class="title">SAT-Based Approaches for the General High School Timetabling Problem</div><div class="authors">Emir Demirović</div><div class="details">(<a href="0747.pdf">PDF</a> | <a href="/proceedings/2017/747">  Details</a>)</div></div><div id="paper748" class="paper_wrapper"><div class="title">Constructive Recommendation</div><div class="authors">Paolo Dragone</div><div class="details">(<a href="0748.pdf">PDF</a> | <a href="/proceedings/2017/748">  Details</a>)</div></div><div id="paper749" class="paper_wrapper"><div class="title">Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming</div><div class="authors">Cheng Fang</div><div class="details">(<a href="0749.pdf">PDF</a> | <a href="/proceedings/2017/749">  Details</a>)</div></div><div id="paper750" class="paper_wrapper"><div class="title">On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning</div><div class="authors">Nicola Gigante</div><div class="details">(<a href="0750.pdf">PDF</a> | <a href="/proceedings/2017/750">  Details</a>)</div></div><div id="paper751" class="paper_wrapper"><div class="title">Stochastic Constraint Programming</div><div class="authors">David Hemmi</div><div class="details">(<a href="0751.pdf">PDF</a> | <a href="/proceedings/2017/751">  Details</a>)</div></div><div id="paper752" class="paper_wrapper"><div class="title">Machine Learning Techniques for MultiAgent Systems</div><div class="authors">Yoad Lewenberg</div><div class="details">(<a href="0752.pdf">PDF</a> | <a href="/proceedings/2017/752">  Details</a>)</div></div><div id="paper753" class="paper_wrapper"><div class="title">Resilient Control and Safety for Multi-Agent Cyber-Physical Systems</div><div class="authors">Anna Lukina</div><div class="details">(<a href="0753.pdf">PDF</a> | <a href="/proceedings/2017/753">  Details</a>)</div></div><div id="paper754" class="paper_wrapper"><div class="title">Human-Like Agents for Repeated Negotiation</div><div class="authors">Johnathan Mell</div><div class="details">(<a href="0754.pdf">PDF</a> | <a href="/proceedings/2017/754">  Details</a>)</div></div><div id="paper755" class="paper_wrapper"><div class="title">Multi-Agent Systems of Inverse Reinforcement Learners in Complex Games</div><div class="authors">Dave Mobley</div><div class="details">(<a href="0755.pdf">PDF</a> | <a href="/proceedings/2017/755">  Details</a>)</div></div><div id="paper756" class="paper_wrapper"><div class="title">Probabilistic Inference in Hybrid Domains</div><div class="authors">Paolo Morettin</div><div class="details">(<a href="0756.pdf">PDF</a> | <a href="/proceedings/2017/756">  Details</a>)</div></div><div id="paper757" class="paper_wrapper"><div class="title">Curriculum Learning in Reinforcement Learning</div><div class="authors">Sanmit Narvekar</div><div class="details">(<a href="0757.pdf">PDF</a> | <a href="/proceedings/2017/757">  Details</a>)</div></div><div id="paper758" class="paper_wrapper"><div class="title">Nonparametric Online Machine Learning with Kernels</div><div class="authors">Khanh Nguyen</div><div class="details">(<a href="0758.pdf">PDF</a> | <a href="/proceedings/2017/758">  Details</a>)</div></div><div id="paper759" class="paper_wrapper"><div class="title">Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems</div><div class="authors">Joseph C. Osborn</div><div class="details">(<a href="0759.pdf">PDF</a> | <a href="/proceedings/2017/759">  Details</a>)</div></div><div id="paper760" class="paper_wrapper"><div class="title">Teaching Robots through Situated Interactive Dialogue and Visual Demonstrations</div><div class="authors">Jose L. Part, Oliver Lemon</div><div class="details">(<a href="0760.pdf">PDF</a> | <a href="/proceedings/2017/760">  Details</a>)</div></div><div id="paper761" class="paper_wrapper"><div class="title">AToM: An Analogical Theory of Mind</div><div class="authors">Irina Rabkina</div><div class="details">(<a href="0761.pdf">PDF</a> | <a href="/proceedings/2017/761">  Details</a>)</div></div><div id="paper762" class="paper_wrapper"><div class="title">Modeling Bias Reduction Strategies in a Biased Agent</div><div class="authors">Jaelle Scheuerman, Dina Acklin</div><div class="details">(<a href="0762.pdf">PDF</a> | <a href="/proceedings/2017/762">  Details</a>)</div></div><div id="paper763" class="paper_wrapper"><div class="title">Fuzzy Logic Model for Digital Forensics: A Trade-off between Accuracy, Complexity and Interpretability</div><div class="authors">Andrii Shalaginov</div><div class="details">(<a href="0763.pdf">PDF</a> | <a href="/proceedings/2017/763">  Details</a>)</div></div><div id="paper764" class="paper_wrapper"><div class="title">Using Multiagents for Context-Aware Adaptive Biometrics</div><div class="authors">Fatina Shukur</div><div class="details">(<a href="0764.pdf">PDF</a> | <a href="/proceedings/2017/764">  Details</a>)</div></div><div id="paper765" class="paper_wrapper"><div class="title">The Role of Textualisation and Argumentation in Understanding the Machine Learning Process</div><div class="authors">Kacper Sokol, Peter Flach</div><div class="details">(<a href="0765.pdf">PDF</a> | <a href="/proceedings/2017/765">  Details</a>)</div></div><div id="paper766" class="paper_wrapper"><div class="title">Search Strategies as Synchronous Processes (Extended Abstract)</div><div class="authors">Pierre Talbot</div><div class="details">(<a href="0766.pdf">PDF</a> | <a href="/proceedings/2017/766">  Details</a>)</div></div><div id="paper767" class="paper_wrapper"><div class="title">Towards Trust, Transparency and Liability in AI / AS systems</div><div class="authors">Eva Thelisson</div><div class="details">(<a href="0767.pdf">PDF</a> | <a href="/proceedings/2017/767">  Details</a>)</div></div><div id="paper768" class="paper_wrapper"><div class="title">Deep Abnormality Detection in Video Data</div><div class="authors">Hung Vu</div><div class="details">(<a href="0768.pdf">PDF</a> | <a href="/proceedings/2017/768">  Details</a>)</div></div><div id="paper769" class="paper_wrapper"><div class="title">Searching for Well-Behaved Fragments of Halpern-Shoham Logic</div><div class="authors">Przemysław Andrzej Wałęga</div><div class="details">(<a href="0769.pdf">PDF</a> | <a href="/proceedings/2017/769">  Details</a>)</div></div><div id="paper770" class="paper_wrapper"><div class="title">Towards A Relational Approach For Tool Creation By Robots</div><div class="authors">Handy Wicaksono</div><div class="details">(<a href="0770.pdf">PDF</a> | <a href="/proceedings/2017/770">  Details</a>)</div></div><div id="paper771" class="paper_wrapper"><div class="title">Refinement of Intentions</div><div class="authors">Zhanhao Xiao</div><div class="details">(<a href="0771.pdf">PDF</a> | <a href="/proceedings/2017/771">  Details</a>)</div></div></div></div><div class="section" id="section7"><div class="section_title"><h3>Demos</h3></div><div class="subsection" id="subsection0"><div id="paper772" class="paper_wrapper"><div class="title">Libratus: The Superhuman AI for No-Limit Poker</div><div class="authors">Noam Brown, Tuomas Sandholm</div><div class="details">(<a href="0772.pdf">PDF</a> | <a href="/proceedings/2017/772">  Details</a>)</div></div><div id="paper773" class="paper_wrapper"><div class="title">DISA: A Scientific Writing Advisor with Deep Information Structure Analysis</div><div class="authors">Hen-Hsen Huang, Hsin-Hsi Chen</div><div class="details">(<a href="0773.pdf">PDF</a> | <a href="/proceedings/2017/773">  Details</a>)</div></div><div id="paper774" class="paper_wrapper"><div class="title">Omniscient Debugging for GOAL Agents in Eclipse (Demonstration)</div><div class="authors">Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker</div><div class="details">(<a href="0774.pdf">PDF</a> | <a href="/proceedings/2017/774">  Details</a>)</div></div><div id="paper775" class="paper_wrapper"><div class="title">A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation</div><div class="authors">Chao-Chun Liang, Yu-Shiang Wong, Yi-Chung Lin, Keh-Yih Su</div><div class="details">(<a href="0775.pdf">PDF</a> | <a href="/proceedings/2017/775">  Details</a>)</div></div><div id="paper776" class="paper_wrapper"><div class="title">Automated Planning for Urban Traffic Management</div><div class="authors">Thomas L. McCluskey, Mauro Vallati, Santiago Franco</div><div class="details">(<a href="0776.pdf">PDF</a> | <a href="/proceedings/2017/776">  Details</a>)</div></div><div id="paper777" class="paper_wrapper"><div class="title">Speech-based Medical Decision Support in VR using a Deep Neural Network (Demonstration)</div><div class="authors">Alexander Prange, Michael Barz, Daniel Sonntag</div><div class="details">(<a href="0777.pdf">PDF</a> | <a href="/proceedings/2017/777">  Details</a>)</div></div><div id="paper778" class="paper_wrapper"><div class="title">Real--Time UAV Maneuvering via Automated Planning in Simulations</div><div class="authors">Miquel Ramírez, Michael Papasimeon, Lyndon Behnke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce</div><div class="details">(<a href="0778.pdf">PDF</a> | <a href="/proceedings/2017/778">  Details</a>)</div></div><div id="paper779" class="paper_wrapper"><div class="title">Limbo: A Reasoning System for Limited Belief</div><div class="authors">Christoph Schwering</div><div class="details">(<a href="0779.pdf">PDF</a> | <a href="/proceedings/2017/779">  Details</a>)</div></div><div id="paper780" class="paper_wrapper"><div class="title">Emergency Evacuation Simulator (EES) - a Tool for Planning Community Evacuations in Australia</div><div class="authors">Dhirendra Singh, Lin Padgham</div><div class="details">(<a href="0780.pdf">PDF</a> | <a href="/proceedings/2017/780">  Details</a>)</div></div><div id="paper781" class="paper_wrapper"><div class="title">Become Popular in SNS: Tag Recommendation using FolkPopularityRank to Enhance Social Popularity</div><div class="authors">Toshihiko Yamasaki, Yiwei Zhang, Jiani Hu, Shumpei Sano, Kiyoharu Aizawa</div><div class="details">(<a href="0781.pdf">PDF</a> | <a href="/proceedings/2017/781">  Details</a>)</div></div></div></div></div>  </div>
  
</div> <!-- /.block -->
</div>
 <!-- /.region -->
      </section> <!-- /#main -->
    </div>
  
      
    </div>

      
</div>

<div id="footer">
  <div id="footer_wrapper">
      </div>
  <div class="footer_credit">
    <div class="footer_inner_credit">
          
    <div id="copyright">
          <p class="copyright">Copyright &copy; 2020, IJCAI </p> <p class="credits"></p>
    <div class="clear"></div>
    </div>
  </div>
  </div>
</div>
  <script type="text/javascript">
<!--//--><![CDATA[//><!--
(function($) {
		var sections = [];
		$('.section').each(function(i, section) {
			var $section = $(section);

			var subsections = [];
			$section.find('.subsection').each(function(j, subsection) {
				var $subsection = $(subsection);

				var papers = [];
				$subsection.find('.paper_wrapper').each(function(k, paper) {
					var $paper = $(paper);
					var text = $paper.find('.title').text().toLowerCase() + ' ' + $paper.find('.authors').text().toLowerCase();
					papers.push({ref: paper, text: text, visible: true});
				});

				var text = $subsection.find('.subsection_title').text().toLowerCase();
				subsections.push({ref: subsection, text: text, visible: true, papers: papers});
			});

			var text = $section.find('.section_title').text().toLowerCase();
			sections.push({ref: section, text: text, visible: true, subsections: subsections});
		});
		$('#filter_wrapper').show();

		var previous = '', noresults = $("#noresults");
		function filter(inputValue) {
			function applyVisibility(obj, visible) {
				if (obj.visible !== visible) {
					obj.ref.style.display = visible ? 'block' : 'none';
					obj.visible = visible;
				}
			}

			var value = inputValue.toLowerCase();
			if (value === previous) {
				return;
			}
			previous = value;

			var allhidden = false;
			/* $clear.css('display', value === '' ? 'none' : 'block') */
			for (var i=0, len=sections.length; i<len; i++) {
				var sfound = false;
				var section = sections[i];

				for (var j=0, len2=section.subsections.length; j<len2; j++) {
					var ssfound = false;
					subsection = section.subsections[j];

					for (var k=0, len3=subsection.papers.length; k<len3; k++) {
						var paper = subsection.papers[k];
						var visible = paper.text.indexOf(value) !== -1;

						ssfound |= visible;
						applyVisibility(paper, visible);
					}

					var visible = ssfound || subsection.text.indexOf(value) !== -1;
					sfound |= visible;
					applyVisibility(subsection, visible);
				}

				var visible = sfound || section.text.indexOf(value) !== -1;
				allhidden= allhidden || visible;
				applyVisibility(section, visible);
			}
			if (allhidden) noresults.hide();
			else noresults.show();
		}
		
		$filter = $('#filter');
		var value = $filter.val();
		if (value) filter(value);
		$filter.on('change keyup', function(e) {filter(e.target.value);});
	})(jQuery);
//--><!]]>
</script>
</body>
</html>